[cjrd]

"the food vegans would like to eat": vegan/vegetarians already exist, and we study and analyze their diets when determining crop usage, e.g. see reference #5 in the blog post. Or, my personal favorite: https://www.nature.com/articles/s41586-018-0594-0

tldr; omni diets consume about an order of magnitude more crops in total, so, you know, more animals die in crop production to eat animals than not eating animals...

oooo, also of interest: we actually eat a very small number of crops, 40 crops make up 90% of the global calorie consumption (see ref #4)