I switched on "Users can change theme" temporarily while I make some screenshots; I want to use the Default (basic Bootstrap) theme for these. The normal theme for the site (FiveAlive-lite) will continue to be active for most site visitors. I'll switch this preference off shortly.