[head bang]

I misread what you wrote. I thought you were suggesting the WordPress should force the display of quick tags by default. Including them in themes is perfectly fine IMO.