SpaceX should provide IPFS proxies with Starlink — LessWrong