Hello (no problem, you’re not bothering me at all),
Unfortunately I’m not using pop-shell
nor gnome
at the moment, I was using it on my work desktop, but since we have a remote-only policy due to the ongoing crisis, I have not been using it for the last months.
Anyway, IIRC, there are shortcuts that needs to be adjusted in order to use this extension: checkout their rebuild.sh script that shows the procedure.