[02:02:15] I hadn't read the telnet April 1, 2016 piece. Cute. [02:02:40] Also in my inbox, it looks like https://github.com/w3c/html/issues/754 may get fixed.