This sounds interesting, how are you getting python docs in the `texinfo` format? I’ve used zeal a fair amount or *.read the docs.io, but always looking for local alternatives. A quick search online didn’t have much info