2. There are some ugly hacks, I plan to upstream some changes
properly soon.
3. This binary is not signed, so there will be warnings when
you open it. In Finder (instead of Launchpad) locate "FriCAS",
Control-click (or right click) to open menu and click "open".