10 times that!
The site you linked is really nice! Not sure where they get the numbers from, but regardless a great resource.
One of the more interessting metrics in there is "daily doses per mil", as it shows the difference between the vaccination campaigns. Would be even better if the also shwed when each campaign started.