Sorry, just got back to this. I guess that depends on whether you consider an obviously tongue-in-cheek backronym to be "the official name". We obviously disa

Sorry, just got back to this. I guess that depends on whether you consider an obviously tongue-in-cheek backronym to be "the official name". We obviously disagree on this point.