Unpack the ZIP file and double-click life-export(on macOS right‑click ▶︎ Open; after first run OS might say the binary is unsigned and cannot be run —
go to System Settings▶︎ Privacy and Security and click the button to Allow, and then relaunch again.)
After the export is complete drag the file Procedures.json into this window.