GNOME Shell extension to change behavior and disable UI elements - View it on GitHub