Hmm, that's interesting. That's definitely within the margin of error of how much the water in the pool dropped.
Now that I think about it, I have an autocover - I guess I could close the autocover, mark the water level in the skimmer, and come back a few days later to see if it stayed exactly...