fix highlighting; using 'html' here screws up the release-pages script