On Mon, Oct 2, 2017 at 4:21 AM, Shiro Kawai <xxxxxx@gmail.com> wrote:

This is just a markup thing - in my environment (Chrome on Linux), "selection" subsection (h3 header) up to right before "string-take-while" entry has extra indentation. Maybe </dl> is misplaced?

Thank you very much. I've fixed that. (I haven't announced a new draft, though, since this change is small.)