Navigating Bash History with Ctrl+R (2011) | Hacker News Reader