Print missing documentation.

Not sure whether we should drop the module name from identifiers as we're
printing it under the coverage anyway. Also not sure whether to print column
number because we're only ever going to complain about the top level entities.