In article <yld7r7ma7o.fsf at windlord.stanford.edu>, Russ Allbery <rra at stanford.edu> wrote; } I don't recall if anyone ever added the mask notation, but I know that It has been available since April 1998. -- Katsuhiro Kondou