On Sat, Jul 15, 2017 at 2:15 PM, Evan Hunt via RT wrote: > Maybe we just don't need to expand the abbreviation in the man page anymore. That's fine with me too. 'dig' doesn't need to be an acronym in my opinion. On the other hand, it will be a bit easier to start cleaning up all the references to the (old) acronym expansion if either a new acronym was used or if there was an official public announcement that 'dig' is no longer an acronym. Thanks, Jeremy