@@ -3,11 +3,10 @@
     <link type="guide" xref="index#extra"/>
     <link type="topic" xref="configuration#plugins"/>
     <desc>User plugin installation</desc>
   </info>
 
-	<section>
 	<title>Plugin Manager 2 - <key>📦 Add</key> </title>
 
 	<p>For updating or installing new plugins (extra channels or
 	features), there's a user plugin manager. It's available as
 	feature extension itself.</p>
@@ -31,11 +30,10 @@
 	then enable them.</p>
 	
 	<note><p>Updated plugin versions won't be instantiated right away
 	if they've been active already. That requires either a restart.
 	Or disabling + saving once, then reenabling them.</p></note>
-	</section>
 	
 	<section id="configuration">
 	<title>Configuration</title>
 	<list>
 	<item><p>Alternative download repositories may be configured. (Little