Planck isocurvature constraint on primordial black holes lighter than a kiloton | Synapse