Port 74dae9458d and related to glitch-soc

Port 53b1d88873 to glitch-soc

It was currently full-size

Port the video-player part of 036dd98abb to
glitch-soc. MediaGallery part ignored since it has diverged quite a bit.

This fixes #423

Port 31e7b73084 to glitch-soc

Port f691afaae9 to glitch-soc

Port fa5c867e0e to glitch-soc

Port 4e929b2d17 to glitch-soc

Port 5131012505 to glitch