docs(ko): preserve established OTP and provider terminology (#6156)

* docs(i18n): correct Korean Aegis analysis guidance

* docs(ko): align OTP and provider terminology

---------

Co-authored-by: deuxdoom <188646+deuxdoom@users.noreply.github.com>
Co-authored-by: deuxdoom <deuxdoom@gmail.com>

website/locales/ko/messages.po

@@ -6098,7 +6098,7 @@ msgstr "{ph0}재구성 결과 검증{ph1}"
 #, python-brace-format
 msgctxt "page:showcase/aegis/index.html"
 msgid "{ph0}Inspect the APK yourself{ph1}"
-msgstr "{ph0}직접 APK 분석하기{ph1}"
+msgstr "{ph0}APK 직접 살펴보기{ph1}"
 
 #: website/public/showcase/aegis/index.html:263
 msgctxt "page:showcase/aegis/index.html"
@@ -6373,8 +6373,8 @@ msgid ""
 "the block. An account with a different key can show a different code at the "
 "same time."
 msgstr ""
-"{ph0}키도 중요합니다.{ph1} 생성기는 계정 키와 시간 구간을 결합합니다. 키가 다른 계정은 같은 시점에도 다른 코드를 표시할 수 "
-"있습니다."
+"{ph0}계정 키도 중요합니다.{ph1} 코드 생성기는 계정 키와 시간 구간을 조합합니다. 키가 다른 계정에서는 같은 시간에도 다른 "
+"코드가 나올 수 있습니다."
 
 #. {ph0}: <strong>
 #. {ph1}: </strong>
@@ -6399,13 +6399,13 @@ msgid ""
 "Excerpts from several inspected methods, with line wrapping for display. The"
 " right panel is an explanatory summary. {ph0}Aegis code is GPL-3.0.{ph1}"
 msgstr ""
-"분석한 여러 메서드에서 발췌했으며, 표시를 위해 줄바꿈을 적용했습니다. 오른쪽 패널은 설명을 위한 요약입니다. {ph0}Aegis 코드의"
-" 라이선스는 GPL-3.0입니다.{ph1}"
+"분석한 여러 메서드에서 발췌한 코드이며, 보기 편하도록 줄바꿈을 넣었습니다. 오른쪽 패널은 동작을 설명한 요약입니다. {ph0}Aegis"
+" 코드는 GPL-3.0 라이선스를 따릅니다.{ph1}"
 
 #: website/public/showcase/aegis/index.html:596
 msgctxt "page:showcase/aegis/index.html"
 msgid "Inside the generator"
-msgstr "생성기 내부"
+msgstr "코드 생성기 내부"
 
 #. {ph0}: <code>generateOTP</code>
 #. {ph1}: <code>kotlin.ExceptionsKt</code>
@@ -6418,8 +6418,8 @@ msgid ""
 "The released APK puts {ph0} in {ph1}. REA follows the call from {ph2} and "
 "returns this body; the original source calls the helper {ph3}."
 msgstr ""
-"배포된 APK에서는 {ph0}가 {ph1}에 들어 있습니다. REA는 {ph2}에서의 호출을 추적해 이 함수 본문을 반환합니다. 원본 "
-"소스에서는 이 도우미 함수를 {ph3}라고 부릅니다."
+"배포된 APK에서는 {ph0}가 {ph1}에 들어 있습니다. REA는 {ph2}에서 이어지는 호출을 따라가 이 메서드 본문을 반환합니다."
+" 원본 소스에서 이 도우미의 이름은 {ph3}입니다."
 
 #: website/public/showcase/aegis/index.html:619
 msgctxt "page:showcase/aegis/index.html"
@@ -6457,8 +6457,8 @@ msgid ""
 " Their output matched an independent reconstruction on {ph0}133 test "
 "cases{ph1}, including time-block boundaries and codes beginning with zero."
 msgstr ""
-"REA가 반환한 Java 메서드 일부를 작은 테스트 프로그램으로 묶었습니다. 시간 구간 경계와 0으로 시작하는 코드를 포함한 "
-"{ph0}133개 테스트 사례{ph1}에서 독립적으로 재구현한 결과와 출력이 일치했습니다."
+"REA가 반환한 Java 메서드 중 필요한 것들을 작은 테스트 프로그램으로 묶었습니다. 시간 구간의 경계와 0으로 시작하는 코드를 포함한"
+" {ph0}테스트 133개{ph1}에서 출력이 독립적으로 재구현한 프로그램과 일치했습니다."
 
 #: website/public/showcase/aegis/index.html:647
 msgctxt "page:showcase/aegis/index.html"
@@ -6489,7 +6489,7 @@ msgid ""
 "The generator also matches the six published SHA-1 reference cases in "
 "{ph0}RFC 6238{ph1}. Check the browser implementation against them:"
 msgstr ""
-"생성기는 {ph0}RFC 6238{ph1}에 공개된 SHA-1 기준 사례 6개와도 일치합니다. 브라우저 구현을 이 사례들과 비교해 "
+"코드 생성기는 {ph0}RFC 6238{ph1}에 공개된 SHA-1 기준 사례 6개와도 일치합니다. 브라우저 구현도 이 사례로 확인해 "
 "보세요:"
 
 #: website/public/showcase/aegis/index.html:684
@@ -6514,12 +6514,12 @@ msgctxt "page:showcase/aegis/index.html"
 msgid ""
 "Verification runs extracted Java methods and the new demo. The Android APK "
 "was inspected statically."
-msgstr "검증에서는 추출한 Java 메서드와 새 데모를 실행합니다. Android APK 자체는 정적 분석으로 검사했습니다."
+msgstr "검증할 때는 추출한 Java 메서드와 새 데모를 실행합니다. Android APK는 정적으로 분석했습니다."
 
 #: website/public/showcase/aegis/index.html:711
 msgctxt "page:showcase/aegis/index.html"
 msgid "Inspect the APK yourself"
-msgstr "직접 APK 분석하기"
+msgstr "APK 직접 살펴보기"
 
 #. {ph0}: <a href="../../get-started/">
 #. {ph1}: </a>
@@ -6530,7 +6530,7 @@ msgid ""
 "{ph0}Set up REA{ph1} on macOS or Linux, then download these two files into "
 "the same folder. On Windows, use a Linux environment such as WSL."
 msgstr ""
-"macOS나 Linux에서 {ph0}REA를 설정{ph1}한 뒤, 이 두 파일을 같은 폴더에 다운로드하세요. Windows에서는 WSL "
+"macOS나 Linux에서 {ph0}REA를 설정{ph1}한 뒤 아래 두 파일을 같은 폴더에 내려받으세요. Windows에서는 WSL "
 "같은 Linux 환경을 사용하세요."
 
 #. {ph0}: <code>JAVA_HOME</code>
@@ -6542,13 +6542,13 @@ msgid ""
 "Android analysis needs a full JDK 17 or later. Select it with {ph0} or "
 "{ph1}. This case used JDK 21."
 msgstr ""
-"Android 분석에는 전체 JDK 17 이상이 필요합니다. {ph0} 또는 {ph1}로 사용할 JDK를 선택하세요. 이 사례에서는 "
-"JDK 21을 사용했습니다."
+"Android 분석에는 전체 JDK 17 이상이 필요합니다. {ph0}이나 {ph1}로 사용할 JDK를 지정하세요. 이 사례에서는 JDK"
+" 21을 사용했습니다."
 
 #: website/public/showcase/aegis/index.html:733
 msgctxt "page:showcase/aegis/index.html"
 msgid "Point REA at the provider file and inspect the APK:"
-msgstr "REA에 분석 도구 파일을 지정하고 APK를 분석하세요:"
+msgstr "REA가 사용할 분석 도구 파일의 경로를 지정한 뒤 APK를 살펴보세요:"
 
 #: website/public/showcase/aegis/index.html:736
 msgctxt "page:showcase/aegis/index.html"
@@ -6563,8 +6563,8 @@ msgid ""
 "Your agent can continue through REA's CLI using the prompt above. For MCP, "
 "add {ph0} to the REA server's environment and reconnect it."
 msgstr ""
-"에이전트는 위 프롬프트로 REA CLI를 통해 분석을 이어갈 수 있습니다. MCP를 사용하려면 REA 서버 환경에 {ph0}을 추가하고 "
-"다시 연결하세요."
+"위 프롬프트를 사용하면 에이전트가 REA의 CLI로 분석을 이어갈 수 있습니다. MCP를 사용하려면 REA 서버의 환경에 {ph0}를 "
+"추가한 뒤 다시 연결하세요."
 
 #. {ph0}: <strong >
 #. {ph1}: </strong >
@@ -6599,7 +6599,8 @@ msgid ""
 "{ph0}Official Aegis 3.4.3 release{ph1} · {ph2}Matching source commit{ph3} · "
 "{ph4}GPL-3.0 license{ph5}"
 msgstr ""
-"{ph0}Aegis 3.4.3 공식 릴리스{ph1} · {ph2}해당 소스 커밋{ph3} · {ph4}GPL-3.0 라이선스{ph5}"
+"{ph0}공식 Aegis 3.4.3 릴리스{ph1} · {ph2}해당 릴리스의 소스 커밋{ph3} · {ph4}GPL-3.0 "
+"라이선스{ph5}"
 
 #. {ph0}: <a href="https://www.rfc-editor.org/rfc/rfc6238.html#appendix-B" >
 #. {ph1}: </a >