  Given a polarized projective variety (X,L) over any non-Archimedean field,
assuming continuity of envelopes, we show that the space of finite-energy
metrics on L is a geodesic metric space, where geodesics are given as maximal
psh segments. Given two continuous psh metrics, we show that the maximal
segment joining them is furthermore continuous.
