Extensions is not referenced anywhere in help or getting-started-docs
Could be great for users to see that they can add some extensions. Also suggest the top 3 extensions?
Something like: https://extensions.gnome.org/extension/97/coverflow-alt-tab/?c=38029 is a great extensions for new users, much better than the default super + tab behaviour.
Ofcourse there is a risk with unstable extensions (but that is another issue I think, for now just commment: be careful with extensions).