Document the process to rename extensions.
Don't let it hold up this PR but it would be nice to extend with a bit about renaming extensions - as changing the extension key isn't easy to do for an existing extension - and probably not recommended.
Originally posted by @mattwire in https://github.com/civicrm/civicrm-dev-docs/pull/649#issuecomment-515365965