Re: global minor modes that can be overridden locally?

[Richard Stallman <rms@gnu.org>]

    There are minor modes that are truly global, defined with
    `define-minor-mode' using `:global'. And there are minor modes defined with
    `define-global-minor-mode', which are local minor modes that are made to act
    globally. These two kinds of "global" minor mode are not the same.

They both define global minor modes.  One defines a global minor mode
that only exists globally, and the other defines a global minor mode
that is a globalized version of a local minor mode.

We can still change the name if someone suggests a better name.
However, the name `make-minor-mode-global' does not fit the meaning.

This function defines something, so its name should start with
`define'.