Use redcarpet and fix ToC