@stecks can we make a script which takes arxiv papers and replaces every proof with "Left as an exercise for the reader"?