Looks like @untzuntzuntz hasn't received any replies!