User blog comment:MasterBroccoli/Page names (Definitive Edition)/@comment-5157002-20191206064551

So far, everyone agrees on renaming.

We have two votes for option 1 (me and MasterBroccoli - possibly three, I think the IP user agrees, but they didn't clarify).

One vote for option 1 (DunBanner)

Lord ViperTooth votes for 2 but argues in favor of 1, so I don't know how to count that vote.