You may want to ask in the Stockfish discord: https://discord.com/invite/GWDRS3kU6R