Thanks a lot for looking into this bug! 
I will use the updated instructions to work around it for now.
Aha, interesting, thanks! I’ll have a look at the existing development Dockerfiles to see if they can simply be spawned in one click by Gitpod. 
That would be cool.