GitHub repository: wroyca/rounded-window-corners
Description: A GNOME extension that adds rounded corners to all windows