The post-upgrade / post-installation documentation tells me to run admin/check/index.php. Doing so displays the following warning:

register_argc_argv php.ini directive is disabled
This directive should be disabled to increase performance (it only affects PHP in CLI mode).

The corresponding PHP code from admin/check/check_php_inc.php is the following:

check_print_test_warn_row(
'register_argc_argv php.ini directive is disabled',
!ini_get_bool( 'register_argc_argv' ),
array( false => 'This directive should be disabled to increase performance (it only affects PHP in CLI mode).' )
);

I find the wording of the warning misleading, or maybe it is even a false positive, because what I understand is that on my webserver, "register_argc_argv" is disabled, therefore I get a warning that it should be disabled. That does not make sense at all. Can someone explain me this warning / or provide a better wording / or fix this false positive?