There's a ton of weird markup like this because Google Docs is so whacky. I'm not sure how much time we want to spend on cleaning this stuff up, but this is why I did all of the UI posts manually.