Treat Riva as short form of Rivka in seed data.

One board entry for Rivka with Riva noted as the short pronunciation/form.

data/seed-names.example.json

@@ -63,45 +63,24 @@
         }
       }
     },
-    {
-      "kind": "first",
-      "spelling": "Riva",
-      "locales": {
-        "en": {
-          "pronunciation": "REE-vah",
-          "origin": "Hebrew / Yiddish short form of Rivka (Rebecca)",
-          "meaning": "Short for Rivka — “to bind / tie; captivating.” Related: Rivka, Rebecca, Rebekah, Rifka, Reba."
-        },
-        "ru": {
-          "pronunciation": "Ри́ва",
-          "origin": "уменьшительное от Ривка / Ревекка",
-          "meaning": "краткое от Ривка («связывать», «пленить»). Варианты: Rivka, Rebecca, Rifka."
-        },
-        "he": {
-          "pronunciation": "רִיבָה",
-          "origin": "קיצור של רבקה",
-          "meaning": "צורת חיבה של רבקה. קשור ל־Rivka / Rebecca."
-        }
-      }
-    },
     {
       "kind": "first",
       "spelling": "Rivka",
       "locales": {
         "en": {
-          "pronunciation": "riv-KAH / REEV-kah",
+          "pronunciation": "riv-KAH / REEV-kah (short form Riva: REE-vah)",
           "origin": "Hebrew biblical (רִבְקָה) — wife of Isaac",
-          "meaning": "From root “to bind / tie / join”; often glossed captivating. English: Rebecca, Rebekah. Short forms: Riva, Rifka, Becky."
+          "meaning": "From root “to bind / tie / join”; often glossed captivating. One entry for Rivka and Riva (short). English: Rebecca, Rebekah. Also Rifka, Becky."
         },
         "ru": {
-          "pronunciation": "Ри́вка",
+          "pronunciation": "Ри́вка (кратко: Ри́ва)",
           "origin": "библейское еврейское имя (Ревекка)",
-          "meaning": "«связывать», «соединять»; библейская Ревекка. Варианты: Rebecca, Rebekah, Riva, Rifka."
+          "meaning": "«связывать», «соединять»; библейская Ревекка. Одна запись для Ривка и Рива. Варианты: Rebecca, Rebekah, Rifka."
         },
         "he": {
-          "pronunciation": "רִבְקָה — rivká",
+          "pronunciation": "רִבְקָה — rivká (קיצור: רִיבָה / Riva)",
           "origin": "תנ״ך — אשת יצחק",
-          "meaning": "שורש ר־ב־ק (לקשור / לחבר). באנגלית Rebecca. קיצורים: Riva, Rifka."
+          "meaning": "שורש ר־ב־ק (לקשור / לחבר). רבקה ו־Riva הן אותה שם (קיצור). באנגלית Rebecca."
         }
       }
     }