$HEADER$
This is the world's greatest MPI.
...more to write here
should be a short file, referring to the real docs.
