[spathi_fwiffo]

It is defined in the article the first time it is used in the text.

Maybe they read your comment and fixed it?

[pimlottc]

Perhaps so! I didn’t see it defined anywhere earlier.