This is a very handy link as it allows you to remove the TinyMCE editor for any custom post type. I used this on this site because I wanted to remove the visual editor from the code posts as it messes up the Syntax of the code when using the Syntax Highlight plugin.

Excellent and really simple implementation of a really useful idea with WordPress.