@SanskritFritz@fosstodon.org Oh lord. Sorry. I see my mistake. I had filtered the package list for the keyword "terminal" and it didn't show up in the search bar anymore. That's not actually the full AUR list, just the search for "terminal" sorted by popularity. I'll fix that in the original post.