[rgomez]

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