GitHub repository: AlynxZhou/gnome-shell-extension-inotch
Primary language: JavaScript
Description: Add a useless notch to your screen.