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

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

Commit messages:
 - update generated html
 - editorial change process

Changes: https://git.openjdk.java.net/jdk/pull/7280/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=7280&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/7280.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/7280/head:pull/7280

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