I just noticed that there isn't a "lua5.3-doc" package for Debian, and that none of the packages generated from the lua5.3 Debian source package contains a file "manual.html"... where can I find the rationale for that? I grepped the Debian sources and found nothing...