File format tweak to allow better git diff data in future by putting source code line-number data into a distinct line of the file by itself. Will make actual changes easier to spot and mere line-number changes easier to ignore.