These search everything on these sites. You can search the Clippings separately using the dedicated search function for that section.
Search the Holocaust Encyclopedia
Courtesy of Pagefind.
You can also use your browser to search the titles of the files on this website.