The BBC's reticence to report this is notable; the website has a report (hidden fairly deep) dated a few minutes to midnight GMT Sunday night, breakfast news on Radio 4 had a mention in an interview on Monday morning, the first "proper" report on Radio 4 seemingly on the Tuesday 6pm news.