Fran@ueffel I find the package repository table a bit unwieldy, so I mocked this up: https://jsbin.com/turepuvego/edit?output
Franif you are interested, I'm ready to spend a bit more time on it
FranDhsjsh (Gitter) if you are intersted in Windows Terminal in particular, a third option is also Terminal Profiles
FranOh nice! looks the same, but you updated sorting too :) I have some tweaks in mind, is it ok if I send them as PRs on the repository?
i haven't pushed the changes to the git repository yet, because I also changed the under the hood part a fair bit (Github GraphQL API instead of the REST API). I'm still testing.
Btw: why are you posting as @matrixbot and not with your github account?