compilation + minor fixes
some links are lacking. This is partly due to the macro expansion of quick book (macro definition should be moved in the top doc).