On Tue, Mar 22, 2016 at 1:28 PM, Mike Stein <[email protected]> wrote:
> > > BTW, it is sometimes necessary to rename the file itself, e.g. when there > already is a .DO file containing documentation; another issue is different > versions named .100 and .200 for the respective models. > Good point. -- John.
