This update fixes the following issue for gnome-shell-extensions:
-728598: allow user to enable dock extensions