in reply to Padre Workaround?

switched to Padre which I like much better...of course it has also been abandoned

Looking at the Padre GitHub repo, it seems it was last updated 7 months ago. So, perhaps not permanently abandoned.

Maybe an enthusiastic offer of assistance might be enough to kick it back into life!