Can't use Mucke as default audio file player?

[digital-hamaki]

I am running a GrapheneOS Pixel 4a, so while I understand that I may have issues coming from that context, as far as I can tell Mucke does not come up as an option to play audio files in "Open with..." under Files. I have Spotify installed and that is my only available option to play local files.

Is there any chance that Mucke can be a default audio file player on Android? Or is it already and I might have a different issue preventing that?

[Hempflingclub]

Duplicate of #169