Fix invalid docs navigation title (#8527)

Fixes #8522

documentation/introduction/chapter-introduction.asciidoc

@@ -10,7 +10,7 @@ include::intro-overview.asciidoc[leveloffset=+2]
 
 include::intro-walkthrough.asciidoc[leveloffset=+2]
 
-include::intro-eclipse.asciidoc[leveloffset=+2]
+include::intro-ide.asciidoc[leveloffset=+2]
 
 include::intro-goals.asciidoc[leveloffset=+2]
 

documentation/introduction/intro-eclipse.asciidoc → documentation/introduction/intro-ide.asciidoc

@@ -1,10 +1,10 @@
 ---
-title: Support for the Eclipse IDE
+title: Support for IDEs
 order: 3
 layout: page
 ---
 
-[[intro.eclipse]]
+[[intro.ide]]
 = Support for IDEs
 
 While Vaadin is not bound to any specific IDE, and you can in fact easily use it