The accidental history of 3000, 8080, and other port numbers

Funny you mention 1234, which is the gdb server default port I brought