Removing prelude markdown, which has been deprecated in prelude