In reply to Mark.

I have, however, discovered the "Just Writing" WP plugin, which allows one to edit a post using the "old style" interface. I'm glad to have found it, but would also appreciate it if it were possible to use this interface in the default WP installation.