@picokernel - The whole https://squeek.io/ seems to be very dead, pulling /jedi down along. Do you have any ideas what's up or when it will be back (if ever?) or is there any other site that hosts this editor?

@picokernel - The whole https://squeek.io/ seems to be very dead, pulling /jedi down along. Do you have any ideas what's up or when it will be back (if ever?) or is there any other site that hosts this editor?
