Is there any user manual or tutorial on using Theia?

I’m looking for some user guide or tutorial on using Theia. I mean for the end-user and not for extension developer.
If there isn’t something like this, can we make some contribution?

[original thread by Ido Perez]

Hi Ido. All docs are here: If someone adds user manual it would be very helpful.

You can start by filing an issue here:

[Ido Perez]

Thanks Anton. I also found some basic documentation on git & search on the gitpod docs