Yeah please don't change this based on the thoughts of just one Portal fan. If you like the name, keep it.