Steve has just installed the Twiki TocPlugin, which may help. We're also looking at some navigation plugins. It seems clear that we'll need multiple documents for the setup stuff. H