м.
Тот, кто занимается правкой [правка 1.], выправлением чего-либо.
-а; м.
см. тж. правильщица Рабочий, занимающийся правкой, выправлением чего-л.
Прави́льщик пил.