Some additional small modification to the interface.
Added the pdf version of the manual.