fix a memory safety bug in BatQueue.map
improve howto/release.md to avoid META issues in the future