Ouvi dizer que o novo HTML5 adicionará recursos de texto rico a textareas (isso os tornará mais flexíveis), para que você possa fazer coisas como sintaxe de código destacando editores sem javascript muito desagradável (como criar iframes e outras coisas).

Isso é verdade? Existem navegadores com suporte para isso ainda? E onde posso encontrar alguma API?