Rename docs dirs and files to have more digits#3851

gefjon merged 3 commits intomasterclockworklabs/SpacetimeDB:masterfrom

phoebe/docs/extra-zeroes-in-folder-namesclockworklabs/SpacetimeDB:phoebe/docs/extra-zeroes-in-folder-namesCopy head branch name to clipboard