HTML documentation as of 2014-03-03 (adding missing files)