Today I did some yard work instead of going to work out in the gym, so I worked out in the basement instead:
10 front squats at 40 kg,
10 2-kettlebell cleans at 16 kg each
I think my right triceps is getting some of its nervous-system recruitment back. I did 10 push-ups yesterday, not fast, but without stopping. Two days earlier I could definitely not do that.