cool-old-term: add 0.9 (close #3685, #3575)