44e43d6186
* add new option "htmlExtension", so that the mechanism can be used with github as well * render links for suppressed violations and errors Fixes #2412