I would not include real company names in the documentation, as they tend to not like it.