Last September, the Gemini app introduced a “Tools” menu. The latest web redesign adds those capabilities into the “plus” menu for a somewhat cleaner Gemini prompt box. On gemini.google.com, this ...