improve terminal startup time

Question

afeld opened this issue 4 years ago · 1 comments

Answer 1 · 2021-03-19T11:44:31.000Z

I think this is better now.