Docs link in opentripplanner.org/otp/ links to GitHub instead of docs.opentripplanner.org #2
Description
In the homepage, the Docs icon links to http://docs.opentripplanner.org/.
In http://www.opentripplanner.org/otp/, however, the Docs icon in the top blue bar links to http://github.com/opentripplanner