Coverage badge commented out for now