It accidentally triggered a spam filter. Sorry; we fixed it.

Thanks! It's a testament to how rarely things go wrong that seeing such a good comment ranked so low was so surprising to me.

We're currently testing a feature that lets users unkill comments that shouldn't be dead. Once we roll it out to everyone, this will hopefully be less of a problem.