@busywait Thanks for that, I added "composite=1" to the "dtoverlay" line in config.txt, and it has had some change, but the screen is still blank.
Now when I run modetest, the connector "composite-1" shows up, but its status is "unknown", and it has no associated encoder id.
The list of encoders has also changed to include TVDAC, but it has a crtc of 0.
TBH I'm not sure how connector, encoder, and crtc interrelate, and/or whether it's possible to fix the relations (assuming that's all the problem is).