The edit on github links should go to a branch, not a tag.
Merge pull request #814 from mdboom/docs/edit_on_github_branch

'Edit on GitHub' is not useful for tagged versions
Let `string * Unit` return a `Unit` instead of a `Quantity`