Samuel Vasco - 2012-11-02

The XDVI (extended dvi) format is documented, as said by Jonathan Kew here: http://www.tug.org/pipermail/xetex/2008-April/009299.html , so the task shouldn't be too difficult.