This concerns Array, Table, TinyVector and TinyMatrix by now.
assigned to @delpino
enabled an automatic merge when the pipeline for a778819d succeeds
mentioned in commit 991199e3
merged