Github quick edit

[Paul_McGee]

Access with “.”

https://docs.github.com/en/codespaces/the-githubdev-web-based-editor