The RD6006 power supply that I bought cheaply from the internet (together with the one in the previous post) was a little charred, but did work. I replaced a 10A fuse.
I also added a 56KΩ resistor in parallel with the output, for faster capacitor discharge. This was because the MOSFET which was supposed to short out the output went out in flames along with the printed copper board, and I couldn’t find the traces to put it back.