link to self
Since the repo is mirrored at Github, we need a big, bold url at the top of README.md that directs users here.
Cost is that people who have already navigated here might click it to reload, but that's not a big deal.
Since the repo is mirrored at Github, we need a big, bold url at the top of README.md that directs users here.
Cost is that people who have already navigated here might click it to reload, but that's not a big deal.