unwanted <h3> (#25795)

Author: vinaykulk621

docs/manual/en/introduction/Installation.html

@@ -222,7 +222,7 @@ <h3>Code Editor Plugins</h3>
 				<li>[link:https://atom.io/packages/atom-live-server Live Server] for Atom</li>
 			</ul>
 
-			<h3>
+
 		</details>
 
 		<h3>Production</h3>