Re: doctor.el and // and $

[John Paul Wallington]

> doctor.el follows its namespace nicely, except that it defines // and
> $.  It seems to me that given how infrequently doctor.el is used, it
> should not take up such "small" , otherwise convenient symbols.  In
> fact, the way i discovered it was when my own // and $ got overwritten
> by doctor.el...
> 
> if folks agree i will gladly submit a patch.. :)

It sounds a good idea.  You could use `identity' instead of `//'.
`doctor-cadr' and `doctor-cddr' are no longer necessary, too.

-- 
John Paul Wallington