Pencil icon leads to archived repo on GitHub
When reading the docs, clicking the pencil icon to edit will take you to the old GitHub repo. This can lead to Coleman feeling confused, eventually finding the right repo, and filing an issue such as this one.