Alguém sabia que o Gerúndio era funcionário público?

No dia 28/9, o governador do DF publicou no Diário Oficial o Decreto 28.314, no qual "Demite o Gerúndio do Distrito Federal, e dá outras providências." Isso é Brasil. Em primeiro lugar, eu nem sabia que o tal Gerúndio trabalhava no GDF; afinal, você só demite quem é contratado. De fato, o uso continuado do gerúndio, que gerou o tal "gerundismo", é irritante, muito diferente de seu emprego correto. Agora só falta "demitir" o gerúndio da língua portuguesa. Jovens e adultos, esqueçam o que aprenderam na escola; raguem seus livros de português!