aquaveo/dev: links for devin-tools