@bagoas: Thanks for the edit! Changing the page without discussing it first seemed a little bit naughty to me. I think you did a great job collecting the relevant information and providing references.

@joequick: Diogenes is, apparently. :)

-- I'm not mad at you, just Westphalian.