Hacker News new | ask | show | jobs
by guavaNinja 2053 days ago
Just the port they used by default, to help remember it
1 comments
graderjs 2052 days ago
It is but it also wasn't. The name might have come before the port. I might add that entry.
link