Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
A bit drastic to remove the old menu completely. In any case, you need to dispose of the Gvc.MixerControl when disabling the extension, to close the connection to PulseAudio and disconnect signals.