It appears there might be a sneaky update, but a quick search didn’t reveal anything. If you press cmd(ctrl)+p, you’ll see the Jump to search menu pop up.
