Additional tools in Checker — the six main tools already shown on the homepage are not repeated here.