RFR: 8337276: jcmd man page update for PID in output filenames [v2]

[Kevin Walls]

> Man page update for jcmd.
> 
> Add updates for the filename options/arguments affected by:
> 8334492: DiagnosticCommands (jcmd) should accept %p in output filenames and substitute PID
> 
> Also:
> In the initial "command" summary, remove the text about "If the pid is 0.." as it is completely duplicated very shortly afterwards in the COMMANDS FOR JCMD section.
> 
> In Description:
> Each diagnostic command has its own set of options and arguments .
>  
> Added "options and" because arguments and options are different and this can still be confusing.  Mentioning them as being different may help.
> 
> Similarly, added a short section describing that jcmds "may take options and arguments" and further spelling out that options are name=value and arguments are not, as this can still be confusing.

Kevin Walls has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains three additional commits since the last revision:

 - Update JFR commands for FILE
 - Merge remote-tracking branch 'upstream/master' into 8337276_jcmd_pid_manpage
 - 8337276: jcmd man page update for PID in output filenames

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/20401/files
  - new: https://git.openjdk.org/jdk/pull/20401/files/c971843d..7d077a79

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=20401&range=01
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=20401&range=00-01

  Stats: 290428 lines in 3285 files changed: 242467 ins; 29684 del; 18277 mod
  Patch: https://git.openjdk.org/jdk/pull/20401.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/20401/head:pull/20401

PR: https://git.openjdk.org/jdk/pull/20401