several improvements to the video player and general app performance

The latest update, intended to address performance, resulted in a 1.18 star decline in the average Android rating. Users report that video playback is broken, which negates the intended performance improvements. The current impact is negative, though the small sample size requires further validation.

Bugfixes.