Downloading a running workspace result in an error

[shaal]

Bug description

While a workspace is running, going to https://gitpod.io/workspaces and downloading that workspace results in this page -

Steps to reproduce

1. Start a Gitpod workspace
2. Go to https://gitpod.io/workspaces
3. The running workspace should have a green circle to the left of it and a 3 vertical dots options-menu to the right of it.
4. Click on the options-menu, and choose Download
5. Confirm you see the error page as above.

Expected behavior

The Download option should be disabled and not clickable from the options-menu of a running workspace.
or
Allow downloading a running workspace.

Example repository

(any repo)

Anything else?

No response

[pawlean]

I confirm that I can replicate this issue as well 🤔

[gtsiolis]

Thanks @shaal! Closing this as a duplicate of #4977. See also #4977 (comment).