Hacker News new | ask | show | jobs
by johntaitorg 3881 days ago
Might be worth converting that nice PDF to indirect DjVu format to get the size down.