(2020-06-05, 4:38)Orion Pobursky Wrote: Never mind. I just made it in accordance with the official proportions.
I was going to say, you could likely grab a vector file from Wikimedia Commons…although it does look like the flag is a tad stretched horizontally in the print. (You know, to scale from the official 10:19 up to 10:20…) ;-)