switch to redcarpet to make github happy