Modify deepMerge behavior on arrays

At present, when one runs deepMerge on 2 arrays, only the argument contents remains in the resulting array, the contents of calling array is lost:

import io.circe.Json, io.circe.literal._

val a1: Json = json"""[{"id": 1}, {"id": 2}, {"id": 3}]"""
val a2: Json = json"""[{"id": 4}, {"id": 5}, {"id": 6}]"""

a1.deepMerge(a2)
res4: Json = [{"id" : 4}, {"id" : 5}, {"id" : 6}]

This behavior is documented. However, could we consider changing it for arrays, and make it do the simple concatenation, like [{"id": 1}, {"id": 2}, {"id": 3}, {"id" : 4}, {"id" : 5}, {"id" : 6}]? I’d say, the current behavior is not completely intuitive.

[redarqas]

A concatenation mode could be useful

[jcallin]

Any reason why #1275 was closed and not merged? This would be super useful