coq) 수동 이름 지정 어캐함?

[angelin..(angelinu)]

옵션에도 없는거 같은데 어캐 지정함?

[익명(cheerful7772)]

캐릭터 이름 말하는거면 캐릭 생성할때 지정하잖아

[angelinu(angelinu)]

한글패치 시 namegenfail숫자 <- 이거 뜨는걸 수동 지정하는걸로 바꾸라고 하던데