The lack of those in the list on enabled extensions might have something to do with the fact GNOME Shell sometimes leaves Classic mode, at least in one case I've seen, when it restarted or reset itself for some reason (refs: #10842).
