[mod] #408: Switch default branch from dev/master to main

Change in the CI, changes in the documentation

Enable branch check in release.sh, can be commented for releases
on other branches for maintenance releases.