That is correct, but I was less than 2 miles from home when I flatted, and the tire place is less than 1/4 mile from my house so I didn’t bother. The instructions also say that the spare should only go on the rear of the car, and if you flat a front tire to move one of the rear tires up front and put the donut on the back.
The mystical ways of how AWD systems work, and the myriad of different methodologies amongst manufacturers and even amongst different years means that different cars are going to have different tolerances for tire size variances.
I had a Jeep Grand Cherokee that was infamously persnickety about the tire circumferences being exact. I had to rotate tires with a religious zeal on that thing.
My 2006 Subaru Outback is apparently not as demanding as newer model Subarus, but it also does not have as effective of a system.
That said, I would have done exactly as you did. 4 tires. Now rotate them, and take care of them and you should be good.
As for how you can get away with using a doughnut temporary spare, it’s because even though it is skinnier than the normal tire, it actually has the same circumference as the standard tire.
Which is a whole lot of fun on a cold/rainy night with no gloves or umbrella!
Not only are they picky about size but I found out years ago tire sizes are a lot like shoe sizes. Two “identically” sized tires of two different brands might have a different rolling diameter OR have a different diameter at 70mph. ( tires “grow” in diameter as they are spun.
Some AWD systems are very picky, others less so and a few pretty much don’t care.