Maybe delete master branch already completely?

[Konrad `ktoso` Malawski]

Since we've moved to main already, any reason to keep master around?

[tomer doron]

done