Hong Kong peaks' name edit wars

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