Commented-out things should have a really solid justification, we don't use such pragmas anywhere else.