Looking at this some more, I think we should expand on this a bit, to emphasize that a lot of functionality is available through extensions, and talk about how to install them using Extension Manager. That said, we might want to wait to update that wording until we've opened up the external extension registry. So maybe leave it as-is for now and we can tweak it later.