[MichaelMoser123]

Then how comes that gitlab is still hosting this content? Do the have a different policy? Or is it they just didn't notice?

[txcwpalpha]

GitLab isn't still hosting the content. They too have taken it down.