Mail search, plus a macOS menu fix – Vivaldi snapshot 3270.4

Today’s snapshot provides updates to mail searching and filters and resolves the problem with the macOS menus.