After building new javadocs, we have to edit "packages.html"
in this directory, and have the "API User's Guide" anchor point to
"../guide/security/CrpytoSpec.html".