GreaseMonkey to the rescue - fixing Apache Jackrabbit Site

Starting yesterday the Apache JackRabbit JCR website had an interesting problem. Someone must have made a change to the base template such that they had removed the SyntaxHighlighter code that needs to be appended to the header. I’ve opened an issue in their jira issue tracker. Contents of JIRA Issue >>>>>>>> It started happening today. When I visit the website, for example: http://jackrabbit.