Fix display of "package" modules for the HTML docs server.