Looks like @gertdijkstra hasn't received any replies!