user.tex : translate to korean

... and testing for git conflict