@Anoldmaninthesea. Mostly meta discussion, I think, though also perhaps to discuss marginally off-topic topics in a nominally less (but still) public place.

@AaronHall ok thnks