Having a good web-based text editor for fixing/tweaking stuff on my server (while away from my normal machines) could be darn handy. I’ve got a few ideas to play around with here…