Links for mathlang-cli