Quoting wirelessduck--- via Dng (dng@???):

> PHP5? I’d be wary of using any software that is still stuck on PHP5
> since the latest 5.6 has just hit end of life.
>
> Just checked the nextcloud docs and it appears they are supporting and
> recommending the latest PHP7.3 which is a welcome sign.

Point noted, thanks. Sorry, I wrote '5' out of old habit and absolutely
did not check at all. (It was late; I was tired.)