That's extremely interesting and important information. I will update this doc to incorporate it (here and below).