Com um bom tanto de trabalho, os distritos (de acordo com os dados do IBGE) do Mato Grosso do Sul foram todos mapeados em 3 changesets:

http://nrenner.github.io/achavi/?changeset=26050377
http://nrenner.github.io/achavi/?changeset=26059444
http://nrenner.github.io/achavi/?changeset=26086201

Até onde sei, apenas São Paulo, Espírito Santo (do Skippern) e agora Mato Grosso do Sul estão com os distritos completos.

Caso alguém tenha interesse em saber o processo (processo manual, é bom destacar) para isso:
osm.wiki/User:Naoliv/Workflows