The decision to cancel the singing of the traditional Last Night of the Proms finale pieces has ended exactly as one would expect.