> And you need to bootstrap without DNS if you plan to actually replace DNS, not live beside it.
Whatever. DNS itself is never going to shut down, so 100% replacement even for bootstrapping isn't a real concern. And if starting with 13 fixed IP addresses is good enough for DNS, then it should be good enough for IPFS.