HTML version of the manual (based on November 22, 2014 version)