O datetime-local foi removido do HTML 5.1?

Aparentemente, o HTML5 apresenta esses dois tipos de entrada:

• datetime (com um fuso horário)
• datetime-local (sem um fuso horário)

Embora ambos estejam presentes no wiki do W3C, a recomendação de rascunho noturno do HTML 5.1 menciona apenas o tipo de data e hora , não consigo encontrar nenhuma menção datetime-local.

Esse tipo foi removido (ou renomeado) da recomendação ou ainda podemos esperar suporte futuro para ela?

O datetime-localestado faz parte de:

• HTML do WHATWG (padrão de vida) (a partir de 14/03/2014)
• HTML5 do W3C (recomendação de candidato) de 04/02/2014
• HTML 5.1 do W3C (Rascunho de Trabalho) de 04/02/2014

Mas é não mais na HTML 5.1 (Projecto do Editor) de 2014/03/17 .

Foi removido em uma confirmação de 11/02/2014 :

Removendo a definição do tipo de entrada = "datetime-local" e suas seções e referências.

Isso foi proposto nos erros de CR do email <input type = datetime-local> HTML5 de 2014-01-14.

Aqui está o tópico em que a remoção foi discutida em resposta: RE: <input type = datetime-local> Erros de CR do HTML5 [I18N-ACTION-279]

Nossa preocupação é, de fato, que "datetime-local" implica falsamente o horário local da parede (e, portanto, um fuso horário). Os desenvolvedores não são bons em identificar os tempos flutuantes como são.
[…]
Eu acrescentaria que os carimbos de data / hora flutuantes (data e hora são significativos) são o caso menos comum. Normalmente, nesse ponto, você deseja calcular um valor de hora local usando informações de fuso horário. Geralmente, o uso do tempo flutuante requer alguma reflexão dos desenvolvedores para evitar problemas. Eu poderia apoiar a remoção de datetime-local como resultado. Se for mantido, acho que o I18N prefere que seja renomeado para incluir a palavra "flutuante" em vez do "local" enganoso.

Parece que não será removido do HTML do WHATWG (pelo menos por enquanto). Como isso pode levar a divergências, o tópico poderá ser discutido na próxima reunião do GT HTML.