updated number of open editorial issues from 14 to 9 after moving some to Bugzilla
--- a/spec/Overview.html Sun Nov 30 22:42:00 2014 +0100
+++ b/spec/Overview.html Sun Nov 30 22:47:38 2014 +0100
@@ -1,4 +1,4 @@
-!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<!--
Overview.html
@@ -44,7 +44,7 @@
communications.
</p>
- <div class="ednote"><div class="ednoteHeader">Editorial note</div><p>There are 14 further editorial notes in the document.</p></div>
+ <div class="ednote"><div class="ednoteHeader">Editorial note</div><p>There are 9 further editorial notes in the document.</p></div>
</div>
<div class="section">