001_pygments-solarized.patch
Switch-to-webkitgtk-4.1.patch
