The default branch name is now 'main' (see #289), so the Coveralls
badge URLs need to reference that branch name.