Merged extension properties that have the same name and the same signature are sorted nondeterministically, leading to non-reproducible builds.

This makes it difficult to compare outputs of different versions/runs of Dokka since it adds noise to the comparison.

Screenshots