Thanks. I decided to try it the hard way and build it from source. The instructions here (inform7-ide/BUILD.md at main · ptomato/inform7-ide · GitHub) were great. I had a couple snafus unrelated to the instructions (needed to install gettext to make one of the commands work and also kept getting a “could not resolve host github” error which cleared up an hour later. So happy to have this working on the Pi!