Thank you for your hints. I didn't actually mean this as a request for support but rather as a list of things I was facing that were/are hard to solve and I've

Thank you for your hints. I didn't actually mean this as a request for support but rather as a list of things I was facing that were/are hard to solve and I've been using Linux for 10 or so years. (I'm using bspwm, the Gnome Hot Corner thing was just another example, it shouldn't require an addon to disable that)