The gif we use in the README shows how cool the engine was 3 years ago. Now that things have notably improved, we should be able to create a new animation that shows the current status of the REPL, ideally.