Uses relative URLs in learn-you-an-agda