Looking for a "Getting Started" extension

Does anyone know of an example of a “Getting Started” extension that walks the user through basic features?

@bendavis I do not know of any open-source @theia extension that interactively guides users through basic features, but there is the code-tour plugin that can theoretically be used to perform interactive tours/recordings. I have not yet tested the plugin in the framework however.

There also the following issues with that extension at the moment:

Very cool. I think that might be more than what I need though. Perhaps I can get by with a basic frontend extension and use something like introjs.