menus-doc-base-registration-pdf (binary): possible-documentation-but-no-doc-base-registration
menus-doc-base-registration-html (binary): possible-documentation-but-no-doc-base-registration
