Had your username been green, the comment would now be [dead].
I realize I'm in a bad mood for unrelated reasons, and I ended up venting here.
Sorry for the noise.
