Thanks. I also put it into archive.org before posting https://web.archive.org/web/20230125115413/https://www.w3.org/ https://web.archive.org/web/20230125115413

Thanks. I also put it into archive.org before posting https://web.archive.org/web/20230125115413/https://www.w3.org/ https://web.archive.org/web/20230125115413/https://www.w3.or...