Neither did i, looked it up, seems like a alternative to 'docker desktop' for OSX devices. 

Sun Jun 28 2026 14:17:28 EDT from IGnatius T Foobar Subject: Re: How to stop and start Citadel in docker

I'm glad you figured it out because I have no idea what any of those things are. :)