rename the section and add context

users have access to the wiki in the first place, this shouldn't be a

problem as long as everyone pushes to the replica.

## Branch Name Changes

## Renaming a branch globally

While `git` supports renaming branches locally with the `git branch

--move $to_name` command, this doesn't actually rename the remote

branch. That process is more involved.

Changing the name of a default branch both locally and on remotes can

be partially automated with the use of [anarcat's branch rename