Files hereunder with names ending _nt.gz were originally .notes
