Using MPlayer as a Magnifier for Video Content

TODO: This page is a work in progress to address the wishes raised in #2215 TODO: Delete these TODO notes or replace them with more precise ones when a completion of ~60% of the requests in the above mentioned ticket is reached