Clarify "no library" URLs.

Also fix an incorrect use of "{github_tree}".