Fix typo "options" -> "opinions" in coverage_graph.html
Closing branch.