Script Summary: Some authors already enjoy simplicity of publishing video with <video> tag, introduced in HTML5. However generic Opera builds still lack support of it due to constant changes in specification. This script provides poor man's support of this tag in Opera.
IMPORTANT: change script's extension from .user.js to .js
