[rwth-security] Hackers poison source code from largest Discord bot platform