Comment removed; suppression inlined.

I like to document suppressions because I find their intent easy to understand when I'm writing them but basically opaque when I'm reading them a few weeks later.