formatted manual on windows