more robust GUI, notably for Big Sur full-screen where the hypersearch panel becomes a separate maximized window;