Merge upstream GitLab into Heptapod

Georges Racinetrequested to merge
topic/heptapod/upstream-merge2 into branch/heptapod

Brings in 402 non-merge commits.

Merge request reports