Hong Kong peaks' name edit wars

https://www.openstreetmap.org/user/Supaplex/diary/399062