5 ms·

Thanks for these important missing bits of information, in light of these I think the change sounds much more reasonable. /me updates rgrep alias to use -R