Everyone’s thrown out ideas, but it’s time to make it official — what nickname should we give this Texans defense?