Structured source of truth for Terence Tao's web content (book errata, rendered to GitHub Pages) - View it on GitHub