Jeff King [off-list ref] writes:
quoted
True. The user could tell the server operator to rename them or
remove them because they are not doing anything useful, but then
as long as everybody knows they are not doing anything, it is OK
to leave that sleeping dog lie, as they are not doing anything
harmful anyway.
That brings us one step further back to question if the hints are
useful in the first place, though ;-).
Yes, that last paragraph definitely crossed my mind. Do we have an
opinion on doing anything here? (E.g., declaring the hints not worth the
trouble and reverting them versus just living with it)?
I am tempted to declare that the "hints" was not a good idea and
suggest reverting them.