Document that we switched to `main`, and add instructions on how to
switch extant local checkouts.