In which format should GHC expose documentation via its .hi-files?