I work in the Apple OS environment and would also love to see an optional mini-player widget or window. Back when I used the Apple Music environment, their mini player was pretty handy when one has a lot of windows open and still want to see what is playing and quickly mute/resume music. Thanks …