docs: ADR 0008 with the sizes and times measured on the real data

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Signed-off-by: Tizian 「ティツィアーン」 <raisondetredev@pm.me>

docs/adr/0008-languages-beyond-japanese.md

@@ -81,8 +81,11 @@ made from it be published under CC BY-SA, as studysets are.
 
 ## Consequences
 
-- An instance downloads some 3 GB a month more, and holds some 180,000 entries more
-  (German 84,000, English 66,000, Greek 27,000) besides CC-CEDICT's 122,000 in each script.
+- An instance downloads some 3 GB a month more, and holds some 210,000 entries more
+  (German 84,000, English 66,000, Korean 35,000, Greek 27,000) besides CC-CEDICT's
+  122,000 in each script. Measured: the whole dump converts in nine minutes in under
+  300 MB; the server loads German in 17 s and CC-CEDICT in 12 s, and finds a line's words
+  in 2 to 24 ms.
 - Wiktionary has no stable ids: an entry's id is its word, part of speech and etymology
   number (`Haus/noun`). Cards keep it as a soft reference, as they keep JMdict's; an entry
   Wiktionary splits or renames is no longer found by a card made from it, which keeps