how many hours did the HuffPo editors agonize over whether or not to use a “Different Strokes” pun here?

how many hours did the HuffPo editors agonize over whether or not to use a “Different Strokes” pun here?