Perhaps, but GitLab had a browser ide earlier, and I think theirs is better. So it’s more likely to just be normal GitHub v GitLab feature competition.