This file doesn't do anything, but we periodically update the number
below just to force being able to deploy the website again.
2