Restoring the generation of HTML documentation (Natalia) + related changes (PH)