Web editor on raspberry pi

It is the weekend so nobody will be back to this until Monday at the very least.

Seemingly "you have to MAKE a build for it".

That will probably tell you more than it tells me.

Best I have for you so sorry about that.