Adds a responsive button inside and to the right of GitHub project filter input to format text as title:*XX*.
Ekde 2025/06/03. Vidu La ĝisdata versio.
