Going to record a demo session as ani-gif