Improving documentation on DegribTest