Jeff King <peff@xxxxxxxx> writes: > So I think on the generating side we are better off creating a slightly > longer abbreviation that is unambiguous no matter what context it is > used in. I.e., I'd argue that it's actually more _correct_ to ignore > the disambiguation code entirely on the generating side. OK. Thanks for sanity checking.