double-buffer should be on by default
[monky] / changelog2html.py
2005-07-20 Brenden MatthewsInitial revision