Redid documentation