Do flashlight LEDs normally run hot?
The Mini Maglite Pro AA uses 2 AA batteries, which can run only 2.5 hours, according to their data.

Now consider that AA batteries have typical energy capacity of about 3 W-h, so two of them have 6 W-h. Since the flashlight runs for 2.5 Hr, the flashlight consumes 2.4W. So it looks like the flashlight uses some 2-W LED. Given that the light output is 252 Lumens, it is an older generation of LEDs, and likely has under 25% light efficiency, meaning that 0.5W gets emitted as light, and 1.5W gets dissipated as heat. So we have about a ~2W heater inside the aluminum body. So the chip area will be hot (especially it you insulate it with vaseline), and body will be warm.

As a matter of fact, all real high-powered "tactical flashlights" do have heat dissipation constructions around the LED emitter area. Why the Mini Maglite Pro would be any different?