Pretendo iniciar pesquisas a partir de meados de 2018.12, mas tenho que concordar que ainda assim, o IBGE ainda é uma fonte oficial, portanto se tu quiser modificar todos os que estão sem fonte para conforme está no IBGE, prossiga. Isso não atrapalha pesquisas futuras de qualquer maneira.
Só um asterisco aqui, todos os distritos que forem únicos em seu município, não terão sua nomenclatura revisada pois, pelo que tudo indica, nenhum município trata deles quando existe apenas a sede municipal, sendo o IBGE a única fonte oficial.
Sim, essa tag foi criada exclusivamente para essa finalidade. Precisa ser discutida. Tagging? Talk-br?
Quanto ao uso do capital=*, parece interessante e poderia vir a substituir a tag provisória district:type=municipal_seat, porém seria melhor adicioná-la na relação do distrito sede, pois o rótulo pode ser capital de mais de um nível. Por exemplo, o rótulo Porto Alegre é capital do estado e “capital do município”.