At least the "Tracestack Topo" and "Cycle Map" layers on the OSM website don't show a mountain at this location, neither do the contour lines in OSM that I just downloaded. It seems the issue was fixed in the meantime.