Move Coverity Scan to its own page.