[hn_throw2025]

Do you really have to make the exact same comment in every related thread?

It’s just tedious at this point.

[pjmlp]

Yes, apparently it isn't tedious enough, otherwise you would have not wasted a few seconds replying.