City Split Request: Palma, Mallorca (Spain)

Hi James,

I would love to request a city split for Palma, Mallorca (Spain) to break it down into its smaller, native administrative districts. It is quite a massive area to tackle as a single boundary!

The parent municipality relation on OpenStreetMap is here:

It looks like the city is natively divided into its 5 main distritos (Centre, Ponent, Llevant, Nord, and Platja de Palma) within OSM. Could we please get these nested boundaries imported so we can track our progress by district?

Thank you so much for your help and for keeping CityStrides so awesome!