pointed to ko/ for korean version, rather than korean/

Author: r12a

index.html

@@ -45,7 +45,7 @@
 
           // alternative formats
 		  alternateFormats:  [
-              { uri: "korean/", label: "Korean version" },
+              { uri: "ko/", label: "Korean version" },
           ],
 
           // editors, add as many as you like