Correct, they use mapbox, which uses Open Street Map under the hood.