Install on Ventura 14.2

[Joshua Root]

On 3/2/2023 14:22, Ryan Schmidt wrote:
> Generating the portindex from scratch takes hours, but just updating a slightly out-of-date portindex with the latest changes shouldn't take that long. Also, the slightly outdated portindex on the public rsync servers should correspond exactly to their slightly outdated collection of ports so no updating should be needed.

I was avoiding going into too much detail before, but depending on the 
exact timing of the power going out and the mirror syncing from the 
origin, it's possible that the indices for some subset of OS versions 
could be one update behind the ports tree. But I haven't checked whether 
that's actually the case.

- Josh