We recently added a .gitattributes rule in #335 to fix highlighting. We should add a note in CONTRIBUTING.md about this.