Comment Comment by passwert A bit off topic, but does anyone know what tool the author uses to display the stats at the top of the terminal? parent passwert 5 years ago