[업데이트]

KTUG와 KAIST, navercorp를 비롯한 국내 미러링 서버에도 2019가 반영되어 있는 것을 확인했습니다. 이제는 CTAN 미러의 기본값으로도 설치 및 업데이트가 잘 이루어집니다.