org-faq.org: More info for "Can I use another character than "*" to start a headline?"