0.23.0 (2026-11-04) Features desktop: lift the video over the page for the mini player (e4faf22) web: add a mini player that plays on over the pages (df643b6) web: put the window buttons in the player's top bar (df643b6)