fix timing skew; guess terminal width from typescript file