Change History (6)

Notify user when file changed since last editor visit. See #303
This uses md5 checksums instead of file last modified timestamps because we can generate the md5 before the changes are actually written to the file. This is important because atm no core changes are applied.