Hola muralito. Recibimos un comentario de un usuario de Maps que menciono que el callejón aparecía como Antonio Costa pero debería ser Tomás de Tezanos. Al lado del callejón están las direcciones 1007 (https://www.openstreetmap.org/node/944755952) y 1029 (https://www.openstreetmap.org/node/944761569). Esas direcciones tienen Tomás de Tezanos como la addr:street. Parece apropiado que el callejón se llame Tomás de Tezanos para que coincida con las direcciones. 
