07-18-2020, 01:06 PM
(This post was last modified: 07-18-2020, 01:41 PM by ChameleonScales.)
Ok, thanks. To give more context, the systems (actually 2 of them, probably even 3) on which this happens have been dist-upgraded without getting a fresh install since I think Debian 7 (not my doing in case you're wondering), while another one I've recently fresh-installed doesn't have this problem. So I guess it would be better that I try harder to convince the system administrator of the importance of doing a fresh install from time to time rather than spend time digging to the root cause of this -one of several- issues and finding a solution provided there is one other than a fresh install. In other words, nevermind!