It's not undocumented, you just haven't got the right version of the manual* for your later PSU, I've had to change quite a few toggle switches in boat-anchor grade HP stuff, they often fail open circuit.
*I have the same problem, the manual I possess is never the right version for whatever revision of TE I'm working on, followed by lots of head-scratching trying to work out all the design changes due to obsolete Ge components or elf"n"safety non-improvements.
True! There probably is a proper manual somewhere.
This toggle failed with "no toggle" but with a suitable set of pliers it can be told to switch on, so while it failed
while being open circuit it did not do so for good. Of course I'm replacing it -- just had to find a non-metric switch. They all are for 12mm holes these days, but I need just below that, 11.90625 mm or 15/32". (the calipers say 11.9mm, I don't have better than that, but
bc gives that many decimals for said fraction.. )
Also, modding to DPST from SPST is a Good Thing. I like that. I'd just want it to be documented in
my manual.
Edit: The
revision Keysight publishes does not mention the DPST switch...
Today's score: A 500VA 1:1 220V toroid transformer for isolation purposes. Free. Haven't checked it out, but hauled it home. It never hurts to have an isolated mains supply. I'd really have liked for it to have a centre tap, but alas. At the price, though, I'm happy.