+1. A repl is definitely better. Also, the size of the console grows larger for demo 3, and shrinks back when I go for other demos. I may have a bigger font th

+1. A repl is definitely better. Also, the size of the console grows larger for demo 3, and shrinks back when I go for other demos. I may have a bigger font than usual, but can it be fixed?