BBC hardly mentioning Tony Benn's funeral? There's a sign for that.