The library doc index thought that the docs were in $module.html, rather
than $package/$module.html.