usermanual: add missing file