Just a quick update to let you all know that along with the PDF, the DIVERSE manual can also be found in HTML format; head over to the DIVERSE User Manual page to have a look!