The DpGen extension of the Stratus Language reference is generated by LaTeX2HTML and is available here: DpGen