#02_man-utf8.patch
0001-YelpWindow-In-Unity-use-the-header-bar-as-a-toolbar.patch
0002-yelp-settings-don-t-use-ACTIVE-background-color.patch
03_info_crasher.patch
#04_use_doc-base.patch
05_menu_tooltip.patch
06_make_ubuntu_docs_default.patch
07_disable_package_search.patch
