We are now using kramdown. See issue #12.