I was to a couple additive manufacturing exhibitions and conferences, and generally the people from the metal 3d printing industry seem to call all laser pointing devices "galvanoscanners", regardless of actual construction.

rotating mirrors are too fast for laser industry, it requires a very fast switchable laser, like the one developed by european union https://www.razipol.eu/

Rotating mirrors here means continuously rotating, not precise rotation to some particular point? I misunderstood then, yeah, that kind of mirrors aren't used there (I think).

they use glass lenses and infrared, cross scan error must be quite significant due to long separation distance between polygon and substrate.