텍라이브 업데이트를 했습니다. 그런데 다음과 같이 다운로드가 되지 않은 것이 있습니다. (업데이트가 안된 거 겠죠? 그래서 터미널에서 다시 시도했는데 no update라고 뜨네요.) Texlive utility를 이용해서 해당 패키지를 restore한 다음에 다시 터미널에서 update 시도하면 되는 건지요? 아니면 어떻게 해결해야하는지요? 아니면 신경안써도 상관없는지요?