The web interface does have inbuilt docs. Code introspection and tab completion are coming as part of the new interface (in progress) see https://github.com/mat

The web interface does have inbuilt docs. Code introspection and tab completion are coming as part of the new interface (in progress) see https://github.com/mathics/IMathics https://github.com/mathics/IMathics