Manual for WinSIMS, using DocBook