  I review an information-theoretic variant of the quantum de Finetti theorem
due to Brand{\~a}o and Harrow and discuss its applications to the topic of
bosonic mean-field limits. This leads to slightly improved methods for the
derivation of the local non-linear Schr{\"o}dinger energy functional from
many-body quantum mechanics.
