> So does it mean we had better avoid describing this "feature" in the
> docs, until and unless it gets fixed to be more user-friendly?

Well, I find it useful and found a real kludge by using two abbrev files
and associated minor modes. I think what is *really* missing is to 
improve/rewrite the write-abbrev-file function.