w/case and w/nocase Michael Montague 17 Oct 2013 03:49 UTC

For consistency with R7RS #!fold-case and #!no-fold-case, I suggest
changing these to be w/no-fold-case and w/fold-case.

Michael.