Unify and change the way filenames are defined.
Comment added.
Preliminary documentation version added.