Nie widzę tu żadnej tabliczki na bing / mapillary, uważam że jest to na tyle małoznaczny niuans że nie ma co utrudniać komuś życia (jeśli komuś tak zależy) i można raz iść na kompromis :D Nowi edytujący robią o wiele straszniejsze rzeczy w porównaniu do tej zamiany alt_name z name więc jak dla mnie może być "Pi".