manifest.sh: default version number & plain text file ignore