HTML documentation and small refactorings.