HACKING: coverage is now automatic [ci skip]