Better accessibility of JaCoCo reports (GitHub #3)

Adjust saturation of red source highlighting in HTML reports to make
JaCoCo reports more accessible to red/green blind users.
diff --git a/org.jacoco.doc/docroot/doc/changes.html b/org.jacoco.doc/docroot/doc/changes.html
index 9415660..a002b95 100644
--- a/org.jacoco.doc/docroot/doc/changes.html
+++ b/org.jacoco.doc/docroot/doc/changes.html
@@ -70,6 +70,8 @@
 <ul>
   <li>For every build the corresponding Git commit hash is included as
       <code>Eclipse-SourceReferences</code> manifest headers (GitHub #7, #59).</li>
+  <li>Adjust saturation of red source highlighting in HTML reports to make
+      JaCoCo reports more accessible to red/green blind users.</li>
 </ul>
 
 <h3>API Changes</h3>