Apparently I'm semi-blind - the docs also note that:
> If the INSERT command contains a RETURNING clause, the result will be
similar to that of a SELECT statement containing the columns and values
defined in the RETURNING list, computed over the row(s) inserted by the
command.
... so perhaps it's enough to just explicitly mention that ordering is
preserved.