After JDK-8309271 it will be necessary to update the src/jdk.jcmd/share/man/jcmd.1 man page, which means changes to the markdown source in the closed repository.

[options] are added to Compiler.directives_add, Compiler.directives_clear, Compiler.directives_remove with one optional '-r' flag; Compiler.directives_replace is added with parameters similar to Compiler.directives_add. So for instance there should be man for Compiler.directives_replace looking like

       Compiler.directives_replace [options] *arguments*
              Clear directives stack, and load new compiler directives from file.

              Impact: Low

              Permission: java.lang.management.ManagementPermission(monitor)

              arguments:

              filename: The name of the directives file (STRING, no default value)

              Note:

              The following options must be specified using either key or key=value syntax.

              options:

              - -r: (Optional) Refresh affected methods (BOOLEAN, false)