Sorry to any of you who got a warning from Google about malicious software download. My server was hacked by a relatively dumb robot which put a malware distribution script at the top of some of the static html files. I assume you will be happy to know that I have cleaned out the infection and re-secured the server.

Again, apologies.