> As a first step, I'm going to update the A.R.I. so that any instances of ``Linux'' in the source (other than ``GNU/Linux'' or ``Linux kernel'') are identified. > http://sources.redhat.com/gdb/ari/#GNU/Linux If you own a file please check for this :-/ Andrew