Okay, that did it, thank you. I'm sorry if it seems obvious to you and not to me, but new XenForo admin.
I think there's probably some subtle difference between my friend who is admin and attempted the install, and myself who is super-admin, but it seemed to install fine for me. All done, and...