TsFile format filter uses an inconsistent URL and is not available initially

[ColinLeeo]

Summary

There appear to be two related issues with the TsFile format filter on the Hugging Face Datasets page:

1. The URL parameter for TsFile is inconsistent with other formats.
2. TsFile is not initially shown in the format filter and only appears after visiting a TsFile-specific URL.

1. Inconsistent URL parameter

Other formats use URLs such as:

https://huggingface.co/datasets?format=format%3Ajson&sort=trending

However, the current URL for TsFile is:

https://huggingface.co/datasets?format=tsfile&sort=trending

The corresponding URL using the same convention as other formats does not work:

https://huggingface.co/datasets?format=format%3Atsfile&sort=trending

Should TsFile use the same convention as the other formats, such as format=format:tsfile? If TsFile intentionally requires a different parameter format, could you please clarify why or consider making the URL handling consistent?

2. TsFile is not initially shown in the format filter

When opening the Datasets page directly:

https://huggingface.co/datasets

TsFile does not appear in the Format filter list. :codex-annotation{index="1"}

However, after visiting the following URL:

https://huggingface.co/datasets?format=tsfile&sort=trending

TsFile appears in the Format filter list. :codex-annotation{index="2"}

In other words, users must first visit a TsFile-specific query URL before TsFile becomes available in the format filter. This may indicate that the format is only loaded or registered after the first query.

Steps to reproduce

1. Open https://huggingface.co/datasets.
2. View the Format filter list and confirm that TsFile is not listed.
3. Open https://huggingface.co/datasets?format=tsfile&sort=trending.
4. View the Format filter list again.
5. TsFile is now listed.

Expected behavior

• TsFile should be shown in the Format filter list immediately when the Datasets page is opened.
• Users should not need to visit a TsFile-specific URL first.
• The URL generated for TsFile should follow the same convention as the URLs for other formats.
• Filtering by TsFile should work consistently through both the UI and the URL.

Could you please investigate why TsFile is not initially available in the format filter, and whether any additional configuration is required?