Argh! I can finally downvote, but not that comment, since it's a direct reply to me.

Alas, irony emerges victorious.