gitpod.io should not be listed on search engines

[chrifro]

Bug description

when searching for "gitpod.io" on Google, I noticed that we still index gitpod.io. In #9622 we already intended to remove it but apparently, it's not working. Additionally, Gitpod is also misspelled

cc @jankeromnes because you worked on #9622

Steps to reproduce

Search for "gitpod.io" on Google

Workspace affected

No response

Expected behavior

No response

Example repository

No response

Anything else?

No response

[Siddhant-K-code]

Internal Discussion 🧵

[Siddhant-K-code]

It is now removed from search engines ✅