Seems like this was deleted at some stage.

coverage command works as expected once removed. Do correct me if I've missed something, though.