O que muda com o fim da publicação impressa do Diário Oficial de São Paulo?