This seems like such a strange take. You make it sound like it's cost you effort to translate the error, but how are you quantifying that effort? If effort efficiency is something you're striving for, it doesn't feel like it makes sense to correct the mistake (which costs effort to do)
The gap between the two - what they said and what they meant - seems so small it probably took more "work" to correct them.
I'd go as far as to say that the work to correct them will never be repaid by the saved effort of not having to encounter this particular mistakes from this particular person ever again.
But you don't have to say anything - the mistake is so easily corrected in your own head that the effort expended in correcting/defending corrections massively outweighs any additional effort it took to "translate"
You try to make it sound like you're being rational about the effort expended here, but without quantifying the effort to translate and the effort to correct, you've got no way of knowing whether it's the right course of action. To me, it's clear it isn't.
Also, is there really a need to call the post stupid? Seems like unnecessary effort to me