Quicktags?

It took me an hour last night to figure out why I didn’t have Quicktags in the WordPress editor. I was using Safari and, prior to 2.0.4, there was a bug related to Quicktags. The Safari bug is now fixed, but the WordPress PHP code is just now being patched. The solution is here.