Just to add: This more-or-less proves that it is a bug in the "cinnamon" executable, or at least that it *could* detect & fix the situation, if it is caused by something else.
Just to add:
This more-or-less proves that it is a bug in the "cinnamon" executable, or at least that it *could* detect & fix the situation, if it is caused by something else.