Jon will be much missed here. A lot of what he's done of late has been in the background and not immediately obvious, but it's been a great deal more important than a lot of people might realise. The Mudcat will be a poorer place without him, and I, too, hope that he may in time feel like coming back.