Changed "Other docs" to "All docs". Changed "docs" link to "all docs"

Downside: "all docs" seems to cause "(master)" to wrap to the next line when the browser window is set to half the width of a 1920x1080 monitor.