Index: 07_devmap.html
===================================================================
--- 07_devmap.html	(revision 276)
+++ 07_devmap.html	(revision 277)
@@ -31,9 +31,21 @@
 
 <p>{des7:0}
 The device mapper is an optional mechanism implemented in a plugin. The
-user may choose, on per symbol basis, to use hardwired pin numbers, or to not
-include the device mapper in the view at all. 
+user may choose to use it or to:
+<ul>
+	<li> not include the device mapper in the view at all
+	<li> not using the slotting mechanism described here, on per symbol basis,
+	     by not having a <i>slot</i> attribute
+	<li> not using the device mapping mechanism described here, on per symbol basis,
+	     by not having a <i>devmap</i> attribute
+	<li> not using the pin mapping mechanism described here, on per symbol basis,
+	     by not having a <i>pinmap</i> attribute and not using a device map
+	     that would introduce a <i>pinmap</i> attribute
+</ul>
 
+<p>{des7:0}
+It is possible to use features of this plugin selectively and/or replace
+some or all features using another plugin.
 
 <h2> 7.1. Slot prefixing </h2>