Re: always put Customizations in `custom-file', never in `user-init-file'

[Stefan Monnier]

> Let's first see if we can agree on what the end result should be.
> Then we can see how we might get there.

Honestly, I see no indication that the current situation is a problem.

The rare few people who have expressed the desire to have the custom
settings in a seaprate file are people who can very easily do
it themselves.


        Stefan