gitweb: Harden and improve $project_filter page title