Re-format the autogenerated push diff, and update the syntax file to work with it.  No "end" header anymore, and the "start" header for each section is a dull bold as an easy delimiter (will make explicit rather than borrow a style later)