On Wed, 2022-01-12 at 16:55 +0000, Chris Boot wrote: > I was going to vimdiff the configs > to see what we might need to change and harmonise between them. That sounds like a good idea... and I guess it would be reasonable to keep everything identical, and for the cases where this is really not desired, properly document why exactly this isn't done, so that in the future one would know why. Thanks, Chris.