Merge branch 'path_doc_about_redis_ports' into 'master'

port data-port are not customizable via .conf file (for now).

See merge request !3711
10 jobs for master in 97 minutes and 21 seconds (queued for 2 seconds)