A few more code simplifications
Updated documentation for extra-html-files