Comment by jankeromnes

FYI, gitpod.io is similar and works pretty well on Safari and iPad