MarsSeed [1] filed a deletion request for gnome-shell-extension- rounded-window-corners [2]:
Not compatible with GNOME 45+. Upstream no longer provides updates. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-rounded-window-corners/
