On Fri, 2023-05-12 at 14:27 +0200, Andrea Bolognani wrote: > I think at this point we can assume that most people who have hit the > issue on upgrade will have cleaned things up manually by now, so I'd > be inclined to close the bug and move on. > > Any objections?
Well not a strong objection from my side, but I think typically most people will rather simply not even notice that they have leftover files, so they'll stay there forever unless cleaned up properly. Cheers, Chris.