The new version made notable and useful improvements.

• A bug: the option "loop" of the player ends the video a second before, it is annoying, that should be fixed.
• A suggestion: the filter option is missing one of "sharpen".