Developers cited a nondisclosure agreement as the reason for not previously releasing the name of the end user.