010_w3m-filter.patch
020_google.patch
030_buffer-name.patch
040_obsolete.patch
