mca_param_files format documentation questions

[apjanke]

Over in the FAQ Tuning section, it says:

By default, two files are searched (in order):

1. $HOME/.openmpi/mca-params.conf: The user-supplied set of values takes the highest precedence.
2. $prefix/etc/openmpi-mca-params.conf: The system-supplied set of values has a lower precedence.
   More specifically, the MCA parameter mca_param_files specifies a colon-delimited path of files to search for MCA parameters. Files to the left have lower precedence; files to the right are higher precedence.

But with Open MPI 4.0.0, when I query mca_param_files with ompi_info, I get:

$ ompi_info --param all all --level 9 | grep -i mca_base_param_files
            MCA mca base: parameter "mca_param_files" (current value: "/Users/janke/.openmpi/mca-params.conf,/usr/local/Cellar/open-mpi/4.0.0/etc/openmpi-mca-params.conf", data source: default, level: 2 user/detail, type: string, deprecated, synonym of: mca_base_param_files)
            MCA mca base: parameter "mca_base_param_files" (current value: "/Users/janke/.openmpi/mca-params.conf,/usr/local/Cellar/open-mpi/4.0.0/etc/openmpi-mca-params.conf", data source: default, level: 2 user/detail, type: string, synonyms: mca_param_files)

This seems inconsistent with that FAQ documentation in two ways:

• It's a comma-separated list, not a colon-separated list.
• The higher-precedence file seems to appear on the left, not the right.

Am I misinterpreting the documentation here?