Re: Encoding customization variable names

[Eli Zaretskii]

> From: Gavin Smith <gavinsmith0...@gmail.com>
> Date: Sat, 23 Jul 2022 22:25:08 +0100
> 
> Here's the current text in the manual:

LGTM, thanks.