I will confirm this. For a while there, I had plan9.bell-labs.com manually pointing to 9p.io in my home DNS setup. Just make things easier. I still add it to /etc/hosts on my systems with plan9port.
----- Original Message ----- From: "David du Colombier" <0in...@gmail.com> To: 9fans@9fans.net Sent: Friday, October 18, 2019 4:54:12 AM Subject: Re: [9fans] Accessing old Bell labs URLs Since 9p.io is a complete mirror of plan9.bell-labs.com, any old URL should be still available by replacing "plan9.bell-labs.com" with "9p.io". You can send me an e-mail if there is any issue. -- David du Colombier ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Tc38dd191428e8ee3-Me9f956a89e178d9339611b8e Delivery options: https://9fans.topicbox.com/groups/9fans/subscription