~david/misc/best_of_GroTeXdieck/