Update: Timing seems fine, no slippage of cambelt.
Camera at a slight angle here, but the timing is right.
All good.
I got a 172 crank sensor, which I thought would fit, but it doesn't.
New TPS should be here soon. I need to borrow a laptop with a COM port to reset the throttle pot on the ECU when it arrives.