RFR: 8280916: Simplify HotSpot Style Guide editorial changes

[Kim Barrett]

Please review this change to the HotSpot Style Guide change process.

The current process involves gathering consensus among the HotSpot Group
Members.  That's fine for changes of substance.  But it seems overly weighty
for editorial changes that don't affect the substance of the guide, but only
it's clarity or accuracy.

The proposed change would permit the normal PR process to be used for such
changes, but require the requisite reviewers to additionally be HotSpot Group
Members.

Note that there have already been a couple of changes that effectively
followed the proposed new process.
https://bugs.openjdk.java.net/browse/JDK-8274169
https://bugs.openjdk.java.net/browse/JDK-8280182

This is a modification of the Style Guide, so rough consensus among the
HotSpot Group members is required to make this change. Only Group members
should vote for approval (via the github PR), though reasoned objections or
comments from anyone will be considered. A decision on this proposal will not
be made before Monday 14-Feb-2022 at 12h00 UTC.

Since we're piggybacking on github PRs here, please use the PR review process
to approve (click on Review Changes > Approve), rather than sending a "vote:
yes" email reply that would be normal for a CFV.

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

Commit messages:
 - update generated html
 - editorial change process

Changes: https://git.openjdk.java.net/jdk/pull/7281/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=7281&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8280916
  Stats: 13 lines in 2 files changed: 9 ins; 0 del; 4 mod
  Patch: https://git.openjdk.java.net/jdk/pull/7281.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/7281/head:pull/7281

PR: https://git.openjdk.java.net/jdk/pull/7281