Document PR by @notasz and update version for publication