[chuck-dev] [patch] Editing the manual