Replace jinja comment with HTML comment

GuillaumeGomez · GuillaumeGomez · commit e820120baa9c · 2024-09-21T15:13:11.000+02:00
diff --git a/util/gh-pages/index_template.html b/util/gh-pages/index_template.html
@@ -1,11 +1,11 @@
 <!DOCTYPE html>
-{#
+<!--
 Welcome to a Clippy's lint list, at least the source code of it. If you are
 interested in contributing to this website checkout `util/gh-pages/index_template.html`
 inside the rust-clippy repository.
 
 Otherwise, have a great day =^.^=
-#}
+-->
 <html lang="en"> {# #}
 <head> {# #}
     <meta charset="UTF-8"/> {# #}
