Update timestamp of redirect when renaming over a redirect; add some comments