Now that we have Jack Dorsey using “Web5” I assume all DNS and ENS names of “web[0-9]+” are being reserved. 🤦‍♂️