That's the positioning accuracy. Maybe I could try adding a diameter symbol "⌀" there? I know many map apps render a circle around the position icon and that would be possible now with Mapbox GL, but I don't like covering the map with such pulsating junk, it makes looking at maps indoors unpleasant.