The originally merge request predates the switch to main as the default branch name (by a mere week!).
main