I noticed that http://gcc-melt.org now redirects to http://www.gcc-melt.org which looks like a default, and empty, Wordpress installation.
I went ahead and applied the patch below. Basile, should we generally remove this reference to GCC MELT? Gerald Index: extensions.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/extensions.html,v retrieving revision 1.59 diff -u -r1.59 extensions.html --- extensions.html 2 Jun 2018 21:16:09 -0000 1.59 +++ extensions.html 14 Jul 2018 20:14:45 -0000 @@ -21,7 +21,7 @@ analysis, debugging, and performance tuning in concurrent code.</p> -<h2><a href="http://gcc-melt.org";>GCC MELT</a></h2> +<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
