Notes on gauging noneffective group actions | Synapse