So I found this on an old X246 Pork Pie burner. I’m assuming it’s the remains of some sort of clip on mantle, but thought I should double check that these didn’t come with the lantern? Any ideas?? Cheers