The FAQ would really benefit from a section explaining the differences between this project and Eclipse Theia.