Items in `webdoc` get put into ``web/upload``, items in ``srcdoc2`` get put into ``doc``. The missing entries mean that browsing ``doc/rdstdin.html`` would report a 404 when clicking the ``readline`` module. It would be better to leave documentation items only in ``srcdoc2`` and make the generator iterate over that plus ``webdoc`` for the upload directory so that no duplicates were necessary, but I found out that for some reason the documentation generator crashes if I try to render the ``dialogs`` module inside the ``doc`` directory, which is certainly weird.

Ideally in the future the ``web`` command would be split into ``doc`` and ``web`` each doing its own thing, since the ``doc`` version would be used by normal end users, and ``web`` would be used by maintainers.