resurrect_library_symbols
no_non-DFSG_info_pages
