Issue #511: Quality checks: ensure the test coverage never goes down
Done.