Was finally able to update to Ventura with this release. Almost certainly it was nothing 13.4 specific, it is just that this time I used OCAuxiliaryTools to upgrade my OpenCore configuration, and the upgrade actually went through.
NB, this is the Coffee Lake machine.