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