[linvin]

Also, when writing about -p option (e.g. -p 8080:8080), you could choose different port numbers for container and host, so we know the latter is for the host and former is for container.

[shykes]

That's a good point, thanks. Note: the author and HN poster are 2 different people, but evidently we both check comments :)