On Tue, Aug 01, 2023 at 04:24:24PM +0100, Robert Swindells wrote: > All the other ports that I have checked so far include an older compat > file which will enable any later options. Ah good - just the newcomers that need first action. Thanks for checking, please just commit it! Martin