thesis: edit TypeChef description