[wwwdocs] extensions.html - remove "rogue" MELT page

[Gerald Pfeifer]

On Sun, 15 Jul 2018, Basile Starynkevitch wrote:
>> Basile, should we generally remove this reference to GCC MELT?
> Yes. I am no more working on MELT, but I did begin to work on its successor:

Sorry for the delay - I finally applied the patch below.

If/when you want that successor to be listed on our extensions
page, please advise (ideally submitting a patch, or even going
ahead an applying it and just posting the patch).

Thanks,
Gerald

Index: extensions.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/extensions.html,v
retrieving revision 1.63
diff -u -r1.63 extensions.html
--- extensions.html	11 May 2019 06:31:15 -0000	1.63
+++ extensions.html	15 Jun 2019 19:43:37 -0000
@@ -22,20 +22,6 @@
 analysis, debugging, and performance tuning in concurrent code.</p>
 
 
-<h2>GCC MELT</h2>
-
-<p>MELT is a high-level <em>domain specific language</em> to ease the
-  development of GCC extensions. It is available as a GCC experimental
-  branch on <code>svn://gcc.gnu.org/svn/gcc/branches/melt-branch</code>,
-  and also as a GCC [meta-] <em>plugin</em> (GPLv3 licensed, FSF
-  copyrighted).</p>
-
-<p>The MELT language is translated to C, and provides powerful
-  features (pattern-matching, functional, object, reflective
-  programming styles, ability to mix C and MELT code, Lisp look,...)
-  to ease development of GCC plugin-like extensions.</p>
-
-
 <h2><a href="https://peter.colberg.org/gcc-lua">Lua plugin for GCC</a></h2>
 
 <p>gcc‑lua extends GCC with the ability to run Lua scripts. The plugin