Hi Filipp!

On 2022-10-25, Filipp Gunbin wrote:

> [...]
> For some reason I was sure that it was a defvar, not a defcustom.  I've
> now moved those options out of its default value.  Should be safe,
> there's no harm in their duplication (if somebody still includes them
> there), and it seems there're no other contradicting options.

Works for me.

Many thanks
Jens