Did someone come across any stats about markdown adoption/acceptance among regular users over richtext editors?