So the best way to edit the config would be with an editor hand made for it, there's none, at least not complete ones, at the moment so here's some online alternatives sorted by my subjective judgement of their appeal and ease of use:
http://jsoneditoronline.org/
http://www.alkemis.com/jsonEditor.htm
http://json.bubblemix.net/
http://hicoder.posterous.com/json-editor-component-flex
http://braincast.nl/samples/jsoneditor/
http://cauerego.github.com/jsoneditor/
- Copy your whole config.txt into one of the editors(just ssh into your server and copy the text or pull the txt)
- Edit it in the editor
- Get the result, put it back into config.txt
It's a little hacky but much more trustworthy then manual editing. And better then a standalone so far!
What I would like to do in the future thought a google (docs JS script based) web app that would have the necessary widgets for stuff like color selection, script selection, time selection etc. and the necessary limits and forced data type for stuff like server name, ip/port, max players, tips and so on and so forth.