Config.pm: simplify displayed fetch and push URLs