Comment 4 for bug 1875038

In theory you're right. In practice, gnome-shell gives extensions free rein to do whatever they want, including painting over whatever they like. gnome-shell can't enforce anything.

It just sounds like a bug in the extensions so you need a newer version of the extension that properly supports gnome-shell 3.36.