아! 이제 알겠습니다. pinning.txt 파일에 제가 이렇게 썼었네요:

kotex:kotex*

그동안 kotex 관련 패키지 이름이 대부분 kotex으로 시작해서 별 문제가 없었나 봅니다. "kotex:*"로 바꾸니까 잘 찾네요. 죄송합니다! 그리고 감사합니다.

그래도 한 가지 이상한 점은, 지난주쯤 jiwonlipsum이 자동 설치되었었는데....?? 이건 또 어떻게 그랬을까요? 흠, 제가 또 뭔가 이상한 짓을 했나보네요. ;-)