授業で「Matplotlib でアニメーション」をやってて気づいたのですが，作成した mp4 ファイルを Microsoft Edge で見ようとしてもできないようです。Mac の Edge では見えるし，同じ Windows でも Firefox なら見える。
状況
弘大 JupyterHub の Python で該当のコードを実行すると，
ani.save("anim01.mp4") によって，
JupyterHub のホームに，
anim01.mp4
が作成されます。
Web ブラウザで JupyterHub のホームにあるこれをクリックすると，Firefox では再生されるが，Windows の Edge では再生されない。
実習室の Windows だけでなく，研究室の Windows 機の Edge で JupyterHub のホームに作成された
anim01.mp4 などをクリックしてもやはり再生されない，
ただし，いったんローカルにダウンロードして，あらためて Edge にドラッグ＆ドロップして開くなどとすると再生できる。
なので，JupyterHub (Jupyter Notebook) 上にある mp4 ファイルを Web ブラウザ（Windows の Edge，もしかしたら Chrome 系全般？）で直接クリックして再生しようとするときだけの問題と思われる。
回避策
回避策としては，Firefox を使うか，以下のように
# 動画を jupyterhub のホームに mp4 ファイルとして保存。
ani.save("anim01.mp4")の部分を，互換性を維持するために
ani.save("anim01.gif")
# 動画の解像度を指定したいのなら ani.save("anim01.gif", dpi=144)とでもしておく必要があります。これだと，Edge でも見れます。
JupyterHub をバージョンアップするという手もあるかも知れないが，管理者でない私の手には余るし，また，最近の JupyterHub は（さわったことないけど）JupyterLab がデフォルトになるので，マニュアルやらスクリーンショットやら，全部書き直さないといけないんだよねぇ。