> sockets for the pin on the top of metal tubes, or even what they're called?
Not just metal tubes. Many glass tubes had top-caps. The generic term used to be "double-ended", meaning the Input and Output were not on the same end of the bottle. That helps reduce stray radio feedback. It was also the only way to get a Tetrode on a 4-pin base, but Octal base was a better plan.
On small tubes, the top cap is almost always a grid cap. This is handy in audio: if you touch the grid cap, you should hear big buzz in the speaker. You can find a dead tube in seconds this way.
On many power tubes the top cap is the plate cap. Touching it may be lethal, especially since they didn't use plate-caps unless the plate voltage was more than an Octal socket can stand.
If you can still buy grid caps, it will be from radio restoration suppliers. They were common in radios around 1930. But they don't go bad, so there may not be much call for replacement grid-caps.
The standard 0.25" PCB mount fuseholder clip is a neat fit. It is nicer to find the old Bakelite streamline covers, and for low-level work on metal tubes there was a 1" tall can that covered the grid-cap for shielding. But these are frills.