A fleshed-out IPv5 proposal · HackerLangs