If the user would be willing to make a free account and provide us this info, we could take immediate action on this.

Also, if the mapbox user is someone you can recontact (i.e. unknown to us, but not truly anonymous), I'd encourage you cite the second hand report as your source and make the change.

This system is littered with unactionable anonymous comments which are often a very poor use of time by both the commenter and our editors.