Re: defcustom and the stars.

[Richard Stallman]

This change

    +         ;; If DOC starts with a `*' remove it.
    +         (when (eq (aref doc 0) ?*)
    +           (setq doc (substring doc 1)))

might be ok, but I am not sure it is really right -- it seems
like a hard question.  So I would rather leave this alone, for now.

    !         (if (user-variable-p variable)
    !             (let ((change-label "change"))
    !               (terpri)
    !               (terpri)
    !               (princ (concat "You can " change-label
    !                              " at user level this variable."))
    !               (with-current-buffer standard-output
    !                 (save-excursion
    !                   (re-search-backward
    !                    (concat "\\(" change-label "\\)") nil t)
    !                   (help-xref-button 1 'help-change-variable variable))))))

What is that meant to achieve?
What does the feature look like at user level?