The man pages and programmer documentations for the socket options SO_REUSEADDR and SO_REUSEPORT are different