This seems to remove the coveralls badge - is it intended revenge for its random "coverage decreased" emails before it went mostly silent?