The SD Association has an official SD card formatter

They're pretty vague about why we shouldn't use the OS formatting utilities and use theirs instead. However, they only offer Mac and Windows versions of their utility, so the difference is moot to me anyway. I'm just curious.