We now rely on the help code that is going into doc/. We can just redirect
to builder.readthedocs.io until we statically generate docs and bundle
them.