O.K., back on topic.
I have started the rebend procedure. This all started yesterday (November 2nd).
I was uncomfortable doing the procedure with the tailpiece on the guitar, so I took the tailpiece off and mounted it to a scrap piece of wood:
I measured the lift to be 32 mm on the left and 33 mm on the right. I then clamped the tailpiece and applied some pressure:
Today, the lift was around 14 mm on the left and 15 mm on the right when I measured it earlier this evening, so it seems to be working.
I was not happy with the way the tailpiece was resting on the wood, so I took the set-up apart and chiseled out a space similar to the rout on the guitar so that the tailpiece would lie flat as it should. It is now clamped up again, and I will report on my progress tomorrow.