Thank you, unfortunately I ran into the same problem as the person in the post: “postgres invalid collation version change”
Instead I think I’ll use the occ tool to migrate to mysql, perhaps that’s just the better idea at this stage. If that fails, I’ll do it manually.
btw: I had triggered occ upgrade myself, it appeared to make no difference.