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