Thank you to Super Geek, who will know who he is, for saving me from the virus's claws... and for reinstalling in emergency, at the local Starbucks, the office tools that Google Docs cannot yet replace :)