Re: doctor.el and // and $

[Richard Stallman]

    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.. :)

In principle, this is right--but I am afraid it will make the doctor
code a lot harder to read.  Perhaps let's use doc// and doc$.

    BTW, how does one "normally" get to see doctor-rms etc. in action?
    (other than typing M-: (doctor-rms) ?

I don't know how the program works.  Does anyone here know?