Comment by troupo

More on disk read speed: https://planetscale.com/blog/io-devices-and-latency

--- start quote ---

A typical random read [on a HDD] can be performed in 1-3 milliseconds.

A random read on an SSD varies by model, but can execute as fast as 16μs (μs = microsecond, which is one millionth of a second).

--- end quote ---

If you drop frames in a TUI on a HDD/SDD read for a font file (10-20 KB), you're likely completely incompetent.