Ben & Jerry's actually adds/discontinues like 5+ flavors / year. I was told that flavors don't go to the flavor graveyard unless they have an interesting story, but it seems like they just haven't been adding any for a good while now.
If the flavors are permanently dead, it would be fitting if the grave markers included recipes for those mourning the loss of this flavor and who wish to recreate it at home.