doc: behaviour of +RTS -h depends on profiling