separated html and coveralls into two private files.