Origin of the term HTTP "referer" | Hacker News Reader