Greasy Fork is available in English.
Miniplayer when you scroll down under the video. (configurable!!!)
i tried a bunch of miniplayer scripts and extensions, and none of them seemed to work with my current theater mode jank setup, so i've made this janky ass script. but it does work though!
you can configure size/position via a menu accessible via your user script manager
