We could rename the master branch to `main`. Renaming is also [supported by Github](https://github.com/github/renaming?tab=readme-ov-file#renaming-existing-branches). First raised [here](https://github.com/stormchecker/storm/pull/905#issuecomment-4207020402)
We could rename the master branch to
main. Renaming is also supported by Github.First raised here