Switch from `develop` to `main`

Unless there are good arguments against it, I will change the main development branch to `main` shortly. (I.e., the current `main` branch will be dropped, and `develop` be renamed to `main`).