let
noopt_help =
" Do not try to replace hashing by tokens. (slower or faster dep. on protocol)"