4 ms·

I'd love to see an entry in the FAQ explaining the weird name.

• guavaNinja 6y ago
  Just the port they used by default, to help remember it
  • graderjs 6y ago
    It is but it also wasn't. The name might have come before the port. I might add that entry.