Re: #5366: Please retire dvipdfm package