The decision to cancel the singing of the traditional Last Night of the Proms finale pieces has ended exactly as one would expect. A decision that, given the law on public singing in the era of Covid-19, probably needed to be