Why do these files exist but don’t appear as extensions?

[luislobo14rap]

Why do the following files exist in the docs:

redux.mdx
relay.mdx
valtio.mdx
zustand.mdx

but they don’t appear as buttons/entries in the Extensions section?

https://jotai.org/docs#extensions

[dai-shi]

It's intentional as they are with less priority.