My part finished (I think ...)

@Mike: Please check also the following comment:
% MIKE: I wonder if I should talk already here about the result files
% when we do mention much later in the sec:index. What do you think?