Patrick R. Michaud wrote: > I suppose we could key on whitespace here, so that "#2517" produces > the first, while "# 2517" produces the second. That was my first thought, too. (No preferences either way about the other issues.) Regards, Jo