Oops, I committed a modification to Acid2! Revert it. Thankfully, it did
not change the rendering so I don't have to take back my tweet.