Thanks Jonathan for your comments!  The only thought I have is that the first note above should be part of the documentation.  That particular implementation detail is something that I don't think is obvious and, as it affects output, should be described for the user.  Just my $0.02.