The BBC covered Prince Philip’s death for hours. Cue the