/test-rename2

this time: keep master branch, push new main branch, switch GitHub's default branch to new main

Surely this is a solvable problem.