For the profiling -i option, the compiler tells me the value is microsecond (default 100), while the GHC documentation claims seconds (default 0.1).

Apparently, the documentation is correct?

Yes, I noticed this one recently, it's been fixed in the tree. Cheers, Simon