On Wed, Nov 20, 2019 at 04:59 PM, Daniel Allen wrote:
Ah! That's useful. I overlooked that set of commands.
And if you forget them, just send an email to [email protected]? (They're actually all the same, but it's easier to remember your own group name - some days ;>)