ParentFull threadsemigroupoid·The first time opening a terminal window also takes longer on my machine, but only a second or two not longer.View on HN