The first commenter over there asks the exact question I thought of: If they trademarked, for example, #ED007E it would be okay to use #ED007F wouldn’t it? But apparently they have trademarked any magenta. It’s supposed to be only other telecom related uses that are prohibited but that’s pretty broad. Even websites that do not belong to telecom companies can’t use it if they’re popular enough to get noticed. Fortunately that shouldn’t be a problem for us.