aquaveo/dev: links for alien-terminal-pro