Estive fazendo alguns ajustes nos distritos do RS:
- Adicionado population conforme IBGE 2010;
- Adicionado district:type=municipal_seat em todos os distritos-sedes;
- Nos municípios de distrito único, na tag name dos distritos coloquei o próprio nome do município (conforme consta no IBGE - fonte primária e provavelmente única), passando Sede a ser alt_name.
- Nos demais distritos-sede não modifiquei/confirmei nada (ainda) no que tange ao name, cabendo fazer pesquisa em leis municipais de cada município, atualizando name e source:name. Tarefa a ser desenvolvida na lista de tarefas RS.
Aproveitei e também fiz a documentação dos distritos gaúchos na wiki: https://wiki.openstreetmap.org/wiki/Rio_Grande_do_Sul/Distritos