An alternative way of having offline documentation directly in the browser: https://devdocs.io/