Offline documentation package for old (github pages-based) documentation - View it on GitHub