Changes to create/replace manifest and to remove and ignore manifest.mf ...

Ok. Finally. This pull request has just the 1 commit. GitHub is going up and down like a yoyo lately.