Remove covered workspace websocket todo (#25161)

Parent: fbcbd24

Committed by GitHub <noreply@github.com> on 4/30/2026, 8:58:08 PM