2 ms·

I've had one or two really annoying merges that were complicated by these renames. TIL thanks to these responses that it's not actually a rename.