browser: alternative media player: the new `alt_media_player` module implements an `ogv.js` based media player which is able to play WebM (VP8/VP9) or Ogg (Theora, Vorbis) formats (+ other codecs not integrated yet) on browser that don't do it natively. The module imports `ogv.js` only when it's necessary (incompatible browser + videos needing it). This for now used in blog, and will be used in other places when it's suitable.

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/libervia/pages/blog/view/_browser/__init__.py	Sat Aug 15 16:45:23 2020 +0200
@@ -0,0 +1,6 @@
+#!/usr/bin/env python3
+
+import alt_media_player
+
+
+alt_media_player.install_if_needed()