PDF version of manual without hyperrefs or index