Had a quick look online (well, on the other bay), and it seems most capacitor kits sold on there are the through hole type. Safe bet that’s where they came from.
Edit: even Retrosix sells these ones it seems.
I’ll prob replace them at some point just so it’s “proper”, it’s prob fine as is but...