From what I’m seeing, the PILA GL3 has a lot of travel in the spring… so even just 2 mm extra in length isn’t enough to cause a problem or battery crushing.

Btw, speaking of springs, I’d seen some chatter about BeCu (beryllium/copper) springs… Is it the general case that with most of these flashlights the springs are soldered in place? None clamped down with screw secured clamps?