An IRE PROOF collaborative editor, built on FirePad. - View it on GitHub