On Sat, Feb 21, 2009 at 2:52 PM, Shiro Kawai <shiro at lava.net> wrote: > (BTW, now we can switch them by #!case-fold and #!no-case-fold, > why are we discussing about this?) Both are optional, though.