Correct. Now, whether the declining was due to discussions Gyorko had with the Brewers after '20, indicating his plans to go back to WV, or whether it was because Milwaukee just wanted to deploy the three headed monster of Vogelbach, Tellez and Hiura at 1B instead, we don't know. But Gyorko did have other MLB offers on the table afterwards, but he chose to be a present husband and father instead.
Now as for Ollie in the here and now...It's nice to see him off to a great start in ST, even if it is more or less meaningless.