GNOME shell has the so-called feature "hot corner", that opens the dashboard if the mouse touches the top-left corner of a monitor screen.
I want this disabled I used to have a GNOME shell extension, yet the repository is not found anymore:
git clone [email protected]/Ahrak/gnome-shell-extension-disable-hot-corners.git
fatal: repository '[email protected]/Ahrak/gnome-shell-extension-disable-hot-corners.git' does not exist