Document 'makeLinterMessage'