A gnome-shell extensions that try to add rounded corners for all windows - View it on GitHub