Add tools to devel page.