Re-enabled terminal coverage reports along with the new HTML ones.