Tools to produce small videos on Pharo