Index: doc/user/06_feature/index.html
===================================================================
--- doc/user/06_feature/index.html	(revision 11940)
+++ doc/user/06_feature/index.html	(revision 11941)
@@ -10,7 +10,7 @@
 <h2> Feature Plugins</h2>
 <p>
 <ul class="toc">
-	<li><a href="djopt/index.html">   DJ's plugin options </a>
+	<li><a href="djopt/index.html">   djopt: DJ's plugin options </a>
 	<li><a href="gpmi/index.html">   Scripting with GPMI plugin (deprecated) </a>
 	<li><a href="query/index.html">    query plugin <n/a>
 	<li><a href="vendordrill/index.html">   vendordrill plugin </a>