I disabled the Media Player Indicator extension in Tweaks, yet the play/pause button has just stopped working again. I probably should have mentioned earlier that I'm running on Wayland. This appears to mean that I can't try restarting gnome-shell to see if that fixes the problem. Mike.