Real, actual Markdown support is arriving in Google Docs, not a moment too soon

It's a big day for typing in plain-text fashion, for the good of syntax.