So, would such changes to standards.texi be acceptable in principle?
    If so, I'd be happy to have a look and see if I can find anything
    else that needs fixing, and prepare an up-to-date patch.
    
+1

Reply via email to