merge Teckids history for mksh/progress-bar