אין לי מושג. אם זו היתה החלטה רשמית, כנראה שההית מוצא אותה.

אתה יכול לנסות לברר עם עמית יש לו מידע/גישה לוועדה הממלכתית לשמות
על האתר שלהם אי אפשר לסמוך. יש שם שם של הר אחד בכל ישראל
https://www.gov.il/he/departments/dynamiccollectors/name_database?skip=0&geographical_classification_b=%D7%94%D7%A8

לא נראה לי שנכון ששם שלא מופיע בשום מפה רשמית והוא כפל של שם שכן מופיע במפה רשמית, יהיה השם הראשי ב
 OSM