After setting up LEAN for local development on Mac using docker & Pycharm, I now need to download some historical data for backtesting..

First, how do I get QuantConnect.ToolBox.exe for Mac?
Then, is there any complete guideline on how to set up what is needed to get equity data from IBKR? i could not find any reference for it.