Ket

My apologies, I am not sure how I made my commit connect to this issue. It is unrelated entirely.

This also streamlines how extensions can be added to the extension index. Whoever adds them manually doesn't have to come up with reasonable names and descriptions. These names and descriptions...

> the easiest solution would be to add a new field in the json index that would act as an override for the dir not a perfect / future proof...

Returning the conversation here. @w-e-w it seems like changing the name of the repo is unfortunately a no-go. Seems to be an enforced rule of the Catppuccin org :/ A...

*Or using the name in the json index

Thanks for the issue and the PR! This was an issue between aesthetics and functionality. I had removed the up/down arrows because they're not directly themeable with CSS and greatly...

Thanks for the issue! I can test out this fix this weekend when I have a chance. @s-ilent if you already have the code, then feel free to make a...