Acknowledgment vs. Acknowledgement

[Pavel Sanda]

On Tue, Jan 31, 2023 at 07:52:41AM +0100, Jürgen Spitzmüller wrote:
> but I can't imagine the theorem type has that function. It is
> more to acknowledge (and maybe critically challenge) an argument,
> right?

I admit I never saw it in some math paper (yet), but given that it's
environment which can be numbered, the semantics might be indeed different
than usual Acknowledgment section at the end of papers (in the context 
of math text I would intuitively understand it rather as "admission").

In any case the current situation in lib/layouttranslations will be more
confusing now, because we provide Acknowledgment from AMS with most languages
explicitely using it in the sense of "credits" which is most likely
wrong. And we don't even know what to say if some translator asks :)

Pavel