Just learning this song anew. 'The pitman and the keelman trim' has started a debate. Does 'trim' refer to coal trimming or to conditioning through hard work?