The recent version of the gnome Dash to Dock extension contains a bug. While it’s being worked on and, by the looks of it, may have been solved, it currently annoys the everliving heck out of me.
Is there a way to downgrade a system gnome extension to the previous version? An online search has been unhelpful in this regard, most results I find is on how to downgrade the gnome version.