Add some HTML docs for pkgid specs