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

## 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?

Reproduce the behavior at the two dataset URLs and on the direct Datasets page, then trace the format-filter URL handling and TsFile registration used by that page. Done means TsFile appears on initial load, filtering works through the UI and URL, and its parameter follows the convention used by other formats.

Written by the indexing model from the issue text.