The files can be extracted from
mn.tar.gz
with the commands `
gunzip mn.tar.gz; tar xf mn.tar
'.