post-release update to documentation (sigh)