@danmessing Serial numbers. It seems to be going out of style (especially for long crypto-ish keys), but hey, it’s worked fine for decades.