diff --git a/HTML/seqaid.html b/HTML/seqaid.html
--- a/HTML/seqaid.html
+++ b/HTML/seqaid.html
@@ -160,9 +160,9 @@
 For technical reasons <span style="font-size: 80%">[no good reason really...]</span>, this presently also requires adding a <a href="http://hackage.haskell.org/package/seqaid/docs/Seqaid-Ann.html#t:SeqaidAnnManual"><tt>SeqaidAnnManual</tt></a> annotation for each bind you edit.
 <!--span style="font-size: 80%;">[That document is still not written, but <tt>leaky</tt> at <tt>FORCING_STRATEGY=4</tt> is a demonstation.]</span-->
 
-<h3><tt>leaky</tt> Contrived to Showcase <tt>seqaid</tt>?</h3>
+<h3>Leaky Contrived to Showcase Seqaid?</h3>
 
-Some words about the derivation of <tt>leaky</tt> are <a href="extra.html">here</a>, where the output of seqaid applied to <tt>leaky</tt> is also discussed.
+Some words about the derivation of leaky are <a href="extra.html">here</a>, where the output of seqaid applied to leaky is also discussed.
 
 <h3>Work in Progress...</h3>
 
diff --git a/Seqaid/Demo.hs b/Seqaid/Demo.hs
--- a/Seqaid/Demo.hs
+++ b/Seqaid/Demo.hs
@@ -25,7 +25,7 @@
   import System.Process
   import System.Exit
 
-  leaky_version = "0.1.0.5"  -- XXX need a better way!!....
+  leaky_version = "0.1.6.0"  -- XXX need a better way!!....
 
   main :: IO ExitCode
   main = do
diff --git a/seqaid.cabal b/seqaid.cabal
--- a/seqaid.cabal
+++ b/seqaid.cabal
@@ -1,6 +1,6 @@
 
 name:                seqaid
-version:             0.1.5
+version:             0.1.6.0
 synopsis:            Dynamic strictness control, including space leak repair
 description:         Seqaid is a GHC plugin for non-invasive auto-instrumentation of dynamic strictness (and parallelism) control, shortly to include optimisation for automated space leak relief using minimal strictification. [The optimiser is still in development however.]
                      .
@@ -13,8 +13,8 @@
 author:              Andrew G. Seniuk
 maintainer:          Andrew Seniuk <rasfar@gmail.com>
 category:            Compiler Plugin
---bug-reports:       
 bug-reports:         Andrew Seniuk <rasfar@gmail.com>
+--bug-reports:       http://fremissant.net/seqaid/trac
 build-type:          Simple
 cabal-version:       >= 1.10
 tested-with:         GHC==7.8.1, GHC==7.8.3
@@ -30,15 +30,6 @@
 --   type: git
 --   location: 
 
--- XXX
--- A few of the latest flags are not used very consistently,
--- and there are probably bugs related:
---   ONLY_TOP_LEVEL_INJECTIONS
---   INFER_TOP_LEVEL_TYPES
---   SEQAIDPP_TYPES
---  (DEMO_MODE)
---  (... the rest, basically! ...)
-
 -- There were about twice as many flags, so I've done what I can,
 -- but not ready to throw away the alternative code branches
 -- for the remaining yet.  In a few minor version bumps, will
@@ -127,7 +118,7 @@
 
     -- Not used in Core.hs plugin part anymore; but there may
     -- be GHC API code coming in Seqaid.TH that uses GHC.Paths.
---  , ghc-paths <= 0.1.0.9
+--  , ghc-paths == 0.1.*
 
     -- used to try to bring types into scope that are needed
     -- for CoreM-level (Simplifier) injections; works except
@@ -139,7 +130,7 @@
     , th-expand-syns == 0.3.*
 
     -- low-level forcing libraries
-    , deepseq-bounded >= 0.5.0 && <= 0.5.3
+    , deepseq-bounded == 0.5.*
 
     -- at least for IntMap
     , containers == 0.5.*
@@ -152,13 +143,6 @@
 --  , mtl == 2.1.3.*
 --  , mtl == 2.1.3.1
 
-    -- In the end (although it's already a sub-dep), seqaid did end up
-    -- depending directly on SOP, since now there's a splice in Seqaid.TH
-    -- which calls a generics-sop TH splice itself.
-    -- ... But that doesn't save us, because the "deriving instance"
-    -- decls are put there by seqaidpp [indeed that was the whole reason
-    -- I finally crumbed and reached for a preprocessor!] -- that's
-    -- pre-TH, so pre our ability to know whether it's a synonym or not...
 --  , generics-sop == 0.1.*
 
   if flag(SEQABLE_ONLY)
@@ -198,7 +182,6 @@
   -- can start at the left margin!
   ghc-options:        -pgmP cpphs -optP --cpp
 
-
   if flag(SEQABLE_ONLY)
      cpp-options: -DSEQABLE_ONLY=1
   else
@@ -301,7 +284,6 @@
     , process == 1.2.*
     , directory == 1.2.*
     , Cabal >= 1.18
---ghc-options:
   default-language:   Haskell2010
   ghc-options: -pgmP cpphs -optP --cpp
   ghc-options: -optP-Wundef -fno-warn-overlapping-patterns