Correctly attribute a change to etags.el made by Gerd to Philippe