* Use npx for screencast

* Use updated screencast

* Update screencast to version without history

* The previous version was recorded on a fish shell, which has
a history suggestion feature that can not be disabled

* The new version uses zsh as shell to avoid the history
suggestions in the cast

* The new version has been created with scripts that are subject
of a separate PR

* Use screencast without autosuggestions

* Add svg screencast

* Use svg screencast