Hi GitHub Support!
The filter for archived cards of a GitHub board (Archiving cards on a project board - GitHub Docs) seems to have a problem finding issues.
The hint in the filter input element states that you could filter by note or issue title.
Only cards are found. The issues are not filtered.
Issues can also be filtered by title.
Thanks in advance!