tweaks to Alex's 0.8.12 release blog post