Anyway, I don't think I was previously aware of the existence of Radio 4Extra. It sounds like it has, or used to have, all the interesting things that used to be on R4 in the 20th century, without the news, news highlights, news analysis, current affairs, political developments, news, more news, other news. Ah well.