Taking coverage out commits

The problem is that once added, git continues committing, so it has to
specifically be deleted. So I run:

`git rm -r --cached coverage`

And now I am committing the changes about this. Let’s see