It's time to decentralize the internet, again: What was dist