TIS File can be downloaded by right clicking it and selecting "download" option.

It is also possible to download TIS File by navigating to its properties and the pressing on "download".

image-20250625-113458.png