I’ll report soon.
Right now I’m testing a quick fix for the gnome extension.
The fix passed my extension disable/enable testing, now I’m waiting if it works when gnome-shell decides to disable/enable the extension by himself.
So there is great chance that the issue report comes with fix for gnome extension.