The Markdown files in this directory are generated automatically
from the man pages. They can therefore not be modified, and they
should not be added to Git.
