Folks - for those interested in joining forces, or just meeting up at the end for a beer, join this WhatsApp group.
AFAIK there are just 4 of us (Lou, Dave, Jim, myself), but likely (hopefully!) others.
https://chat.whatsapp.com/J2Fpx5L7Nd3DGVjxIEN9xo