Merge pull request #4202 from mitesch/linear_exact_rename merge: perform exact rename detection in linear time