I believe you’re referring to Termux, the terminal app. Tmux is a terminal multiplexer. Although you can run Tmux in Termux, so technically…

Anyway, great post! It seems I have to check out Ghostscript, don’t think I’ve ever heard of it, thanks.