On Tue, Oct 20, 2020 at 04:10:41PM +0200, Christopher Dimech wrote: > Where are the customization variables documented?
In the node 'Customization Variables' of the texinfo manual https://www.gnu.org/software/texinfo/manual/texinfo/html_node/Customization-Variables.html -- Pat