usermanual: a few words on number of threads on a 64-bit system