I stand corrected, and I see I didn’t read the comment thoroughly enough either.

Colloquially as a non-pcb maker I would use and hear the term “mill” as short form millimeter so I assumed it was that.

so TIL :)

A millimeter i.e a thousands of a meter.

edit: I was wrong, confusingly enough it is a thousands of an inch