goodbye mnogosearch

doc/gmsh.html

@@ -213,17 +213,6 @@ on <a href="https://gitlab.onelab.info/gmsh/gmsh/issues"
 ><code>https://gitlab.onelab.info/gmsh/gmsh/issues</code></a>.
 </p>
 
-<form method="get" action="http://onelab.info/search/search.cgi">
-<input size="30" name="q" value="">&nbsp;
-<input type="submit" value="Search!">&nbsp;
-<input type="hidden" name="ps" value="10">
-<select name="ul">
-  <option value="/" SELECTED>Whole site
-  <option value="/doc/">Documentation
-  <option value="/pipermail/gmsh">Mailing list archives
-</select>
-</form>
-
 <h2><a name="Licensing"></a>Licensing</h2>
 
 <p>