You don't need to correct something everyone already knows is an exaggeration (and I agree it doesn't seem very socially aware to do so) but this is a political discussion on the internet, so
- Everyone does not know the original figure is an exaggeration, especially by how much
- Providing the actual information ads value to the conversation and in this context this is more important than whether the commenter comes off as smarmy or socially inept
What if they said "Hey I know you're being hyperbolic, but for anyone who's interested, here's the number estimated by experts..."?
The only difference here is tone.
I'm not sure why they only shared numbers for minke whales, as these don't seem to be hunted anymore in Iceland in contrast to fin whales, whom the article was about.
Global fin whale population was estimated in 2018 by IUCN to have been around 100000.
https://www.iucnredlist.org/species/2478/50349982#population
Yup.
Spaces? Tabs? Don't care, works regardless.
Copied some code from somewhere else? No problem, 9/10 times it just works. Bonus: a smart IDE will let you quick-format the entire code to whatever style you configured at the click of a button even if it was a complete mess to begin with, as long as all the curly braces are correct.
Also, in any decent IDE you will very rarely need to actually count curly braces, it finds the pair for you, and even lets you easily navigate between them.
The inconsistent way that whitespace is handled across applications makes interacting with code outside your own code files incredibly finicky when your language cares so much about the layout.
There's an argument to be made for the simplicity of python-style indentation and for its aesthetic merits, but IMO that's outweighed by the practical inconvenience it brings.