@User: It was much worse before Tim Ansell organized it. "a", "b", "c" are different layout variations of the (otherwise) same model. "M02", "M04" is number of individual devices in the layout. If they are specifically called out as fingers, then it is "F02", etc., but then runs into the problem with the ngspice error.