kotexutf.tex을 수정해야 하는지에 대해서는 잘 모르겠습니다만, kotexplain.tex을 다음처럼 부르면 어떤가요?

\catcode`\@=11
\ifx\@gobble\undefined
\long\def\@gobble#1{}
\fi
\catcode`\@=12
\input kotexplain.tex

만약 이와 같이 하는 것으로 좋다면, kotexplain.tex을 첨부파일과 같이 수정하면 되지 않겠는가 하는 생각입니다.