Pieter,

Would you be interested in doing a talk on all this at the next Beercamp at Punspace?