Daniel Shahaf wrote on Sat, 15 Jul 2017 21:16 +0000: > Makes sense. The attached patch updates the wording, however, requires > a .py update that I haven't written yet. dev@ folks, feel free to beat > me to finishing the .py part.
Done in r1802130 and r1802132. Cheers, Daniel
