Done.  Not that it matters much, given that it's in a comment...  (And git diff | grep tells me there are no others)