I did quit and restart, but it was still broken. It's started working again at some point, it's a mystery now!