A GNOME extension that adds rounded corners to all windows, patched to cooperate with patched mutter - View it on GitHub