The HotSpot Style Guide contains a change process for the guide. That change process involves gathering consensus among the Group members. That seems overly heavyweight for editorial changes that don't affect the substance of the guide. A simpler process for such changes would be nice to have.