[sr-dev] git:master: modules dockbook: a bit of restructuring for better ToC