Email Record: Lower Semicontinuity of the Universal Functional in Paramagnetic Current–Density Functional Theory