tonygjoined on 3/9/20092,861 karmaI'm Tony Garnock-Jones.https://leastfixedpoint.com/mastodon: @tonyg@leastfixedpoint.com