used copper wire bent in tight flat spiral pattern, with one longer end perpendicular to the plane of the spiral pattern; I then tinned the spiral and soldered it to the broken pieces of the receptacle, after which I soldered the receptacle back to the board.
Pictures?
Damn, I knew I should have taken pictures while I was working on it!
But I couldn't resist the urge to see if it was all going to work (had a bit of time pressure as well) and skipped the pictures.
Anyway, I've recreated the pattern and also taken photos of the final setup (as much as it can be seen).
I've used four such wires, two per input plug (the two other input plugs got desoldered without damage in the first place).
Not terribly proud of the end result, but it works and should be ok for the currenty intended usage.
Might repurpose it if/when I get a replacement input receptacle.