Links for atcoder-doctest