Make SearchNav more mouse-friendly; also easier method to search by date
As of 2022-11-05. See the latest version.
