syntax.maybe a markdown viewer could be a good idea for "proof
reding before commit"