It would be interesting to have the coverage details on terminal, not only in the output _html_ file.