Internet trolls are not worth our energy, you're right. Also, it's worth pointing out that when we comment on the bile that trolls put out into the world, we only increase their audience size. At the end of the day, it's important to realise that someone's sill comments on the internet aren't important enough to merit getting upset about.
Thank you for sharing this message!