TODO Finish Login example Change Undo-Redo to use better data structure Equality of IROLs Document UI helpers Prose