Close: https://git.picodata.io/picodata/picodata/picodata/-/issues/577
mentioned in commit d0503946
mentioned in merge request !1053 (merged)
mentioned in commit d1b24a23