Plurisubharmonic geodesics in spaces of non-Archimedean metrics of finite energy

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.