The following is a closed discussion of a requested move. Please do not modify it. Subsequent comments should be made in a new section on the talk page. Editors desiring to contest the closing decision should consider a move review after discussing it on the closer's talk page. No further edits should be made to this discussion.

The result of the move request was: Moved' * Pppery * _{it has begun...} 16:29, 24 February 2025 (UTC)[reply]

• HOI → Hoi
• HOL → Hol

– No need for all-caps main title headers. The majority of entries listed upon the HOI and HOL disambiguation pages are not acronyms. —Roman Spinner (talk • contribs) 05:11, 26 January 2025 (UTC) — Relisting. — Wug·a·po·des 06:04, 2 February 2025 (UTC)[reply]

• Oppose HOL to Hol HOI to Hoi. Now cleaned up to remove entries that fail MOS:DABABBREV, the entries are 50:50, but since "Høi" isn't really "Hoi", the upper case entries just about have it. Shhhnotsoloud (talk) 15:13, 26 January 2025 (UTC)[reply]
  • And @Roman Spinner: Hol is already a redirect to Hol, Norway. Are you suggesting that that is not the primary topic? Shhhnotsoloud (talk) 19:11, 26 January 2025 (UTC)[reply]
    • @Shhhnotsoloud:, when I submitted the nomination for HOI, that disambiguation page had 9 entries, plus 3 entries under section header "See also". Now it has 6 entries, plus 7 entries under "See also". I have no issue with the revisions you made and would be glad for any form of consensus to appear here for historical record.

As for the HOL dab page, it had 28 entries at nomination time, plus 8 under "See also". Now it has 26 entries, plus 7 entries under "See also". Once again, I have no issue with your revisions and. again, would be happy with consensus for history.

Regarding the putative WP:PRIMARY REDIRECT of Hol to Hol, Norway, that matter should be likewise decided by consensus. Hol, Norway has a population of 4,556, while the HOL/Hol dab page currently has 25 other entries.

If consensus decides that such positioning represents a primary topic grab, the ultimate decision may result in moving the dab page's main title header HOL → Hol. —Roman Spinner (talk • contribs) 04:04, 27 January 2025 (UTC)[reply]

• • • • @Roman Spinner: Thank you for your generous response. In which case I'm going to say I think Hol, Norway is the primary topic for "Hol", and so also oppose HOL to Hol. Thanks, Shhhnotsoloud (talk) 21:16, 27 January 2025 (UTC)[reply]

• Support as proposed. I don't see any reason why one might think Hol, Norway should be given primarytopic status, given how hard it is to find a "Hol" in sources referring to it as opposed to various other meanings (I tried to find a context among these in sources, but couldn't find a search that would find that little place). So if these moves are not done, Hol should be redirected to the disambig page. Dicklyon (talk) 10:53, 29 January 2025 (UTC)[reply]
• Support both. Hol (role-playing game) has more page views than Hol, Norway. Wikinav for the December, 2024 dump shows none of the entries on the dab other than HOL (proof assistant) get any significant traffic from the dab, and also shows there is some significant incoming traffic to the dab from Hol, Norway, which also suggests it is not primary topic for 'Hol'. older ≠ wiser 12:42, 29 January 2025 (UTC)[reply]
• Support both per nom and per Dicklyon and Bkonrad. BD2412 T 02:10, 4 February 2025 (UTC)[reply]