deduplicated an export in Labels.jl

Created by  AEj8dahVWy718uSSFPe9VSRJ5qX5G8pC2zvFzJJ8yzBd  on November 16, 2024
Y2LW6LAAFUEUYQRV3ELSSRKAB35FO67IWVVBMAB5HDRZG6RYL2DQC
Change contents