Kai.Grossjohann@CS.Uni-Dortmund.DE (Kai Großjohann) writes:
> It is not at all obvious why omitting the `--' should change the
> behavior of bash regarding tilde expansion.  But apparently, it does!

I asked Chet about it, on gnu.bash.bug.