Add a useless notch to your screen.
Why do you think that https://github.com/dwarvesf/hidden is a good alternative to gnome-shell-extension-inotch
Add a useless notch to your screen.
Why do you think that https://github.com/dwarvesf/hidden is a good alternative to gnome-shell-extension-inotch