deploy docs missing step
i was going through https://docs.convex.dev/production/hosting/vercel
where it says
Go to the Project Settings page in the Convex Dashboard. Click the Generate Production Deploy Key button to generate a Production deploy key.
but when i went to the settings page, there was no such button. turns out i needed to click on "Production" in the deployment dropdown to create the prod deployment first.
Wondering if the "Generate Production Deploy Key" button could always be visible and lazily create the production deployment when clicked.

