HoTT driver: Add timestamp, rename function-level variable from _esc to esc to match conventions