Generate toolforge.org URLs

Bug: T257318

Author: bd808

data/templates/tool.html

@@ -23,7 +23,7 @@ <h3 class="card-title">
           {% if info.url %}
           <a href="{{ info.url }}">{{ info.title|default(tool.name) }}</a>
           {% elseif tool.toolinfo|length == 1 and active %}
-          <a href="/{{ tool.name }}/">{{ tool.name }}</a>
+          <a href="https://{{ tool.name }}.toolforge.org/">{{ tool.name }}</a>
           {% else %}
           {{ info.title|default(tool.name) }}
           {% endif %}

data/templates/tools.html

@@ -38,7 +38,7 @@ <h4 class="card-title">
         {% if info.url %}
         <a href="{{ info.url }}">{{ info.title|default(tool.name) }}</a>
         {% elseif tool.toolinfo|length == 1 and active[tool.name] %}
-        <a href="/{{ tool.name }}/">{{ tool.name }}</a>
+        <a href="https://{{ tool.name }}.toolforge.org/">{{ tool.name }}</a>
         {% else %}
         {{ info.title|default(tool.name) }}
         {% endif %}