Great - thanks very much! That'll give me a lot more confidence with my refactoring...

On 9 July 2014 00:59, Paul Eggert <eggert@cs.ucla.edu> wrote:

Thanks, I applied the attached patch to get that clarification into the documentation.