that is the file extension actually used in the Debian package, the previous one led to 404 errors on the JavaScript file and hence disabled syntax highlighting partially revert 71a9cc1c