[PATCH] wwwdocs: Document support for extended identifiers added to GCC 10

[Lewis Hyatt]

Hello-

There was a comment on PR67224:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67224#c33 suggesting to
document this feature in changes.html. Here would be my suggestion, in case
that's desirable. Thanks!

-Lewis

commit 6aad009fb93ced5fc79867a79a9021adec0d23d1
Author: Lewis Hyatt <lhy...@gmail.com>
Date:   Tue Jan 14 18:52:20 2020 -0500

    Document support for extended identifiers added to GCC 10 in changes.html

diff --git a/htdocs/gcc-10/changes.html b/htdocs/gcc-10/changes.html
index ef27c9bb..1f6c03cd 100644
--- a/htdocs/gcc-10/changes.html
+++ b/htdocs/gcc-10/changes.html
@@ -204,6 +204,15 @@ a work-in-progress.</p>
 	with the new attribute <code>access</code>.
       </li>
     </ul>
+  <li>Extended characters in identifiers may now be specified directly in
+  the input encoding (UTF-8, by default), in addition to the UCN syntax
+  (<code>\uNNNN</code> or <code>\UNNNNNNNN</code>) that is already
+  supported:
+  <blockquote><pre>
+static const int π = 3;
+int get_naïve_pi() {
+  return π;
+}</pre></blockquote></li>
 </ul>
 
 <h3 id="c">C</h3>