On Thu, Jan 12, 2023 at 02:16:46PM +0100, Juerg Haefliger wrote: > Flag variables (variables that can take true/false values) are named > do_<foo>, except for a few. Rename these to be consistent. Already applied via pull request. -Andrea