More fiddling with Redcarpet version