It's more likely they did go after the individual users, by sending a demand to Telegram to identify the users, and Telegram refused.