Random stuff so the search engines can find it

This is supposed to be a dumping ground for vaguely interesting stuff that the search engines can index for us.


Hugh.Stewart@acm.org