/.local/share/gnome-shell/extensions/

• ../
• display-profile-switcher@rbenencia.name
• org-agenda-indicator@rbenencia.name
• workspace-router@rbenencia.name