An HTML 5 based player for playing videos downloaded by Nicofox.