Rewrote the paragraphs on public-key routing, added several projects and improved the overall accuracy of assertions