Now that we're in source.coop, it'd be good to have a quick way to direct people to our repo's issues.