android: v0.13.0

0.13.0 (2026-11-04)

Features

• android: show the video small through a hole in the page for the mini player (56bb1ec)
• web: add a mini player that plays on over the pages (090cf99)
• web: put the window buttons in the player's top bar (090cf99)

Bug Fixes

• android: keep the refresh rate when no mode matches the screen's size (674bdc2)
• android: pick the audio output again for a speed change only around passthrough (dfaf8fa)
• android: tell runs with the same pid apart in the doing note (852805f)