I have been a developer for 20 years. And I can tell you that as the domain expert here you should inform your boss privately.

Trying to one up him in public while he is trying to learn and be helpful makes you look like a spiteful self serving dev.

— Money Nerd Techie (@pokemoniku) November 14, 2022