pls also put the versioning scheme (w/out IPS pkg numbers) into `doc/release.txt`