Hacker News new | ask | show | jobs
by throwaway314155 252 days ago
Yeah please don't change this based on the thoughts of just one Portal fan. If you like the name, keep it.