>We have collectively wasted a huge amount of taxpayer money and human time, entire careers, on things not likely to ever matter to anyone.

How much..?