Temporarily remove highlighting, so it renders on github.