Add `coverage` directory, rename coverage heading