Die Videos sind h.264+aac in einem mp4-Container; das läuft zumindest auf Chrome und mobilen Plattformen… mit Firefox 24 muss man in about:config
noch media.gstreamer.enabled
auf true
setzten, und alle nötigen Plugins installieren (bei mir hat gstreamer-0_10-plugins-ffmpeg
noch gefehlt). Chromium will chromium-ffpmeg
statt dem üblicherweise per default installierten chromium-ffmpegsumo
.
Proceedings gibt's auf der EuroForth-Seite.