On 26/10/2026 05:44, Michael Paquier wrote: > Okay, I'm sold over this set of suggestions on HEAD to improve the > user experience. I doubt that this is worth worrying about on stable > branches due to the lack of reports..
+1 I also don't think it is worth the trouble. Besides the fact that it's mostly a cosmetic improvement, it's not like anybody has been complaining too loud about it in the past years :) Thanks! Best, Jim
