Are Thin Mints an example of shrinkflation?

The boxes of cookies are getting more expensive. But are they getting smaller?

In 2024 the Thin Mint boxes are 9 oz. The sleeves definitely look shorter but I found a picture of a box in 2020 that was also 9 oz.

And on the Girl Scout website I found an image of a box from 1999 that says it was 10 oz. And when I weigh an actual box from 2024 (box + cookies) it is 10.5 oz on my kitchen scale. So the boxes may have gotten smaller over the the last 20+ years. But not by much. And not recently.