Remove coverall.yml, which is definitely not needed! What a shame :( Andri, you're The Man!