On May 16, 2017, at 9:31 PM, Glyph <glyph@twistedmatrix.com> wrote:

Thanks for bringing this up.  I've made this specific edit since that was quickest, but I'll add you as a wiki editor momentarily.