Re: regexp-opt changed recently?