*
     * @return the complete list of options, converted to strings
     * @since 7.5
     */
    @Incubating
    @Input
    protected String getExtraOptions() {
        return optionFile.stringifyExtraOptionsToMap(knownOptionNames()).entrySet().stream()
                .map(e -> e.getKey() + ":" + e.getValue())
                .collect(Collectors.joining(", "));
    }