Looks like @hjbentham hasn't received any replies!