Jeff King <[email protected]> writes: >> 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.
