Cloudpilot is amazing, one of the most sophisticated PWAs I'm aware of! I haven't heard of Vexed, but for me, bringing back Space Trader made me very happy.
Ah yes, I think I even bought that at some point (didn't realize there was a free build on F-Droid!), but part of the nostalgic appeal to me are the native Palm OS UI widgets and buzzer sounds :)
Compiling Space Trader for Palm OS (it was open source too) was actually something I've repeatedly tried in the early 2000s but unfortunately never managed to pull it off – CodeWarrior was way out of my pocket money budget at the time, and I couldn't figure out how to do it using gcc and PilRC.
