After a bit of hammering, I have tentatively concluded that in fact I can’t make an Intelephense PHP plugin for Panic Nova, but I’m not sure if the problem is Intelephense, Nova, or me.