Given this is a change in GNOME your best bet is https://extensions.gnome.org/
See also: GNOME extensions removed due to being broken by release 40 (yet again)
Given this is a change in GNOME your best bet is https://extensions.gnome.org/
See also: GNOME extensions removed due to being broken by release 40 (yet again)