It looks like the formatting got screwed up anyway. We came up with a better alternative in IRC.