offline/ documentation
very helpful tip, Francesco! Mille grazie!
the ~/.cabal/config entry is:
documentation: True
if you use cabal sandbox, the relative (from sandbox root) path to
index.html is:
.cabal-sandbox/share/doc/$arch-$os-$compiler/index.html
