Re: [PATCH] Update regexp-opt