[TxMt] Re: LaTeX users: best practice for changing \label