Looks like @cgr hasn't received any replies!