dtbook-to-latex: port of se_tpb_dtbook2latex (Pipeline 1)