Enjoyed some excellent pints with @andyc @mo6020 and @rpcutts. Just missed @reality, unfortunately.