add rename-by-pattern tactic
rename_pat
would be a shorter name, but OTOH this is more consistent with the existing select
-style tactics so maybe that's the better choice.
rename_pat
would be a shorter name, but OTOH this is more consistent with the existing select
-style tactics so maybe that's the better choice.