This is a trivial extension to add a shortcut to our nav bar to track our documentation goal progress.