Karl Berry wrote:
> > <http://savannah.gnu.org/support/?109144>
> To me, "lig" means ligatures. A three-character name could mean
> basically anything. As you know, I am not a fan of such short names
> being "usurped" by relatively new or little-known/used projects.
> But I will not stand in the way if you (pl.) want to make the change.
Good point. Namespace collisions are much worse with short names.
Perhaps we should write him and point that out. I will do that
tomorrow unless someone else beats me to it.