It's wasn't meant as an argurment and it definitely isn't meant to be taken personally. As the developer I always have to look for ways to make things faster/better. This is something I saw so I posed a question on the forums. I always look for user feedback where the customer is concerned. The devel site is just that, it's development, not the real distribution. So, what you see there doesn't necessarily mean that is the way it's going to be.
If the need for the headers on top option is valid then it can stay. I always need to see if the usefulness of a feature is valid. I have to ask myself this any time someone requests a feature. Sure I can probably code anything that anybody wants but some things just aren't worth it if they make the code into a nightmare or make the program slow.
This was something that I saw that added a large block of redundant code when I was working on adding the new post options so I figured I'd ask what everyone thought.
I'm guessing by your response that you think they should stay[]/w3timages/icons/wink.gif[/].
