Wow! Found it. Accidentally. I thought I'd walk through the Kentico Web Installer again to see where I missed the Media Library bit and noticed that in Step 2(!) of the installer, it gives me the option to modify an existing Kentico installation. Why is it there? Why is there no option to modify an installation by clicking on the site in the list? Oh well, I hope this post saves someone else some pain.