(search_buffer): Don't depend on internal format of re_pattern_buffer.
Attach a file by drag & drop or click to upload