coverage html does not suport --skip-covered #433
Description
Originally reported by John Allen (Bitbucket: jra3, GitHub: jra3)
The docs seem to indicate that --skip-covered is common to [report|xml|html], but I can not seem to use this parameter in 4.0.1 and in the current head (Coverage.py, version 4.0.2a1). I'd love to clean up my html reports.
{code}
» ~/.local/bin/coverage html --skip-covered
no such option: --skip-covered
Use 'coverage help' for help.
{code}