> On 2022-07-11,, at 13:19 , Eli Zaretskii <eliz@gnu.org> wrote:
> Thanks.  Feel free to install when you think this is ready.
> 
> Maybe also add a few words in etc/DEBUG about this.

Thanks, will do.