BBC are just reporting that Chris Whitty is fully recovered and back at work! I know lots of people have been worried about him. Link: [[https://www.bbc.co.uk/news/live/world-52178501]]