[Nextgrid]

Same policy that "redacted" the brand of the SD card, even though anyone that would be able to do anything with that information would immediately recognize it as a SanDisk.