add note about --dvipdf to redex docs