Каким пятибуквенным словом называется проект одной IT-компании по уменьшению популяции насекомых?