updated package with latest versions of topdoc topdoc-theme