3 ms·

I'm not sure how you're applying the phrase "politically correct" here, but yes, it is a normal abbreviation for "tradesman".