An IRE PROOF collaborative editor, built on FirePad.