> A text editor or music player is hardly "mini".

If it's a sub-function of a bigger ensemble that mostly dies something else then it's fine to call them “mini apps”.

For instance a bank app may contain a text editor for the internal messaging feature of the app, that would count as a min-app in that context.