[ refactor ] Standard ordering of imports.
[ refactor ] A use of mapSnd.
[ clarification ] generateHTML did not use its argument.
[ haddock ] Commented Interaction.Highlighting.Dot.
[ test ] Issue481 now also tests for .dot generation.
[ optim ] Moved monadic instruction under conditional.
Merge branch 'maint-2.4.0'