Get 10 or 20 random albums to choose from

[jecaro]

I've been talking about this feature some time ago:

https://forums.rockbox.org/index.php/topic,55004.0.html

As a developer, I started looking at the code to find out how that can be implemented. The workflow I'd like to have ideally would be:

- get to the database menu
- choose the entry "20 random albums"
- get a list of 20 random albums formatted as "artist name-album title"
- choose one
- start playing it

The tagnavi feature looks well suited for this. However, it misses a few things:
- it is not possible to format intermediate menus -> only tracks menu can be formatted
- there are no random/count options for the intermediate menus -> could be implemented at the condition level

Sure, it's not impossible to implement. But it seems still a bit more involved than I thought initially. So before I dive in, I'm asking about any thought ideas I'm missing. I'm especially wondering if it would be simpler to implement this as a plugin?

Any thought feedback is welcome