Comment out unused subsections

Comment out some of the as of yet unused (because unimplemented)
subsections in the detailed dossier.

Make the formatting a tiny bit nicer due to some \vfill commands after
the tables.