Personally I don't see the problem with using Google Docs for this, especially since they're just writing one function that should be pretty simple for any programmer to write.
It handles tabs decently enough, lets you see what they type live, and is familiar to most people.
It handles tabs decently enough, lets you see what they type live, and is familiar to most people.