Unfortunately I guess only a small minority prefers 33KB binaries doing just their the job. At least I learned about the SVG alternatives to asciinema that's b

Unfortunately I guess only a small minority prefers 33KB binaries doing just their the job. At least I learned about the SVG alternatives to asciinema that's both getting a better vectorial results, and saving size compared to a gif output. It is so obvious in retrospect! More kudos to the author for thinking about supporting various input formats, including asciinema.