Why don't we stop mentioning "naked shorts". It's totally irrelevant at this point. They didn't play a role in the name change. Maybe they just rolled them over. It really doesn't matter. Spending too much oxygen on the subject.