Added headers, and *.synctex.gz filetype to ignore
Changed name to hyphenated version

That's how my name is known in ADS.