That file editor seems to work in Firefox. I just tested the save/open functionality.