[colonelxc]

https://news.ycombinator.com/formatdoc

You need a space after the star, (* core) which is not like escaping at all...