dead/packages: links for mathlang-cli