Added a new file extension and a shortcut to toggle comments