Fix documentation and GitHub links in Navigation#1

jkoch22 wants to merge 1 commit into

ferriskey:mainferriskey/ferriskey.rs:mainfrom

jkoch22:patch-1jkoch22/ferriskey.rs:patch-1Copy head branch name to clipboard