that probably dovetails well with moving these into a bootstrap option as [GLOBAL] environments=[…]

Depends if we need other options than this one. Unclear to me. I'd prefer we keep

environments

around for now, special cased