dead/packages: links for devin-tools