감사합니다.
몇 가지 패키지를 삭제하고 해봤는데 아주 잘 됩니다. 
텍라이브 가볍게 설치하고 필요한 거 몇 가지만 그때그때 설치해가면서 쓰면 설치에 드는 시간을 아주 많이 단축할 수 있겠습니다.

kconthefly.yaml 6째줄이 아주 감동적이군요. ^^

# This rule is for Progress only.