[SAI_Peregrinus]

They're going away. Resolution 4 of the CGPM 2022[1]. They didn't want to deal with having to add a negative leap second, and it looks likely they'd have to if they didn't end them.

[1] https://www.bipm.org/documents/20126/64811223/Resolutions-20...