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: https://theia-ide.org/docs/ If someone adds user manual it would be very helpful.

You can start by filing an issue here: https://github.com/theia-ide/theia-website

[Ido Perez]

Thanks Anton. I also found some basic documentation on git & search on the gitpod docs https://www.gitpod.io/docs/ide/