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