Infrastructure

This summer I made an Asciinema recording of building LibreOffice under Ubuntu. I would like to be able to embed it on our wiki. I believe Asciinema recordings could be useful tutorials for other things down the line (you can copy text from them).

The Asciinema player https://github.com/asciinema/asciinema-player requires two files: asciinema-player.css and asciinema-player.js (.js right before closing the body element).

Then the recording is added in the article like so:
<asciinema-player src="/demo.cast"></asciinema-player>
I hope the markup would be allowed by default and we would not need an additional extension. In the worst case we would have to use https://www.mediawiki.org/wiki/Extension:HTML_Tags

It would appear the .css and .js files could be made available as a gadget (the extension is shipped with MW): https://www.mediawiki.org/wiki/Extension:Gadgets