[ann] [parenscript-announce] August 1 ParenScript release.