On Thursday, December 15th, 2022 at 14:59, Theodor Thornhill <theo@thornhill.no> wrote:
> Randy Taylor dev@rjt.dev writes:
> 
> > Patch OK to install otherwise?
> 
> 
> Sure :-)
> 
> Theo

Thanks.

Yuan, I've attached the latest and greatest patch (same as the one a few threads up but no need to make you hunt for it ;)). Ready to install whenever, unless anyone has any other comments.