(It's something I would change myself once your branch is merged as part of cleanup that I do whenever a branch merges. Now that we have GitHub line-by-line commenting I get to ask you to do it instead of me!)