Chapter 3. Disabling the hot corner functionality on GNOME Shell