See [string.op.append].