The coverage badge has been stale for a long time, and a lot of code has been added without tests. This needs to be remedied.