[batch] search bar for batches.html (#6463)
[batch] search bar for batches.html (#6463)


cseed/hail,hail-is/hail,hail-is/hail,cseed/hail,cseed/hail,cseed/hail,hail-is/hail,danking/hail,hail-is/hail,danking/hail,hail-is/hail,hail-is/hail,danking/hail,danking/hail,danking/hail,cseed/hail,hail-is/hail,danking/hail,danking/hail,danking/hail,cseed/hail,cseed/hail,cseed/hail,hail-is/hail