Manuals for Fixpoint products