[Request] filter by star range

[laundmo]

a filter that filters by a star difficulty range

you would set 2 numbers, start and end, which would be the star difficulties between which songs should be shown.
if possbile, maybe even hide a songs difficulties that dont fit in that star difficulty range.
this would allow for finding songs in the difficulty you want to play even in large libraries, where scrolling through and finding a song with the difficulty you want can be annoying.

[brianhuang822]

Added a PR last Friday, hopefully repo owner gets it merged and released 👍