A bit off topic, but does anyone know what tool the author uses to display the stats at the top of the terminal?