move "Real Time Help Using IRC" section to the top, no content change, Closes: #270772

1 files changed, 60 insertions, 60 deletions

diff --git a/english/support.wml b/english/support.wml
index 606e00fd48a..17ae0f57ce9 100644
--- a/english/support.wml
+++ b/english/support.wml
@@ -15,6 +15,66 @@ contact <a href="consultants/">consultants</a> or, better, read our
 <a href="doc/">documentation and wiki</a>.
 
 
+<toc-add-entry name="irc">On-line Real Time Help Using IRC</toc-add-entry>
+
+<p><a href="http://www.irchelp.org/">IRC (Internet Relay Chat)</a> is a way
+to chat with people from all over the world in real time.
+IRC channels dedicated to Debian can be found on
+<a href="https://www.oftc.net/">OFTC</a>.</p>
+
+<p>To connect, you need an IRC client. Some of the most popular clients are
+<a href="https://packages.debian.org/stable/net/hexchat">HexChat</a>,
+<a href="https://packages.debian.org/stable/net/ircii">ircII</a>,
+<a href="https://packages.debian.org/stable/net/irssi">irssi</a>,
+<a href="https://packages.debian.org/stable/net/epic5">epic5</a> and
+<a href="https://packages.debian.org/stable/net/kvirc">KVIrc</a>,
+all of which have been packaged for
+Debian. OFTC also offers a <a href="https://www.oftc.net/WebChat/">WebChat</a>
+web interface which allows you to connect to IRC with a browser without
+the need to install any local client.</p>
+
+<p>Once you have the client installed, you need to tell it to connect
+to the server. In most clients, you can do that by typing:</p>
+
+<pre>
+/server irc.debian.org
+</pre>
+
+<p>In some clients (such as irssi) you will need to type this instead:</p>
+
+<pre>
+/connect irc.debian.org
+</pre>
+
+# Note to translators:
+# You might want to insert here a paragraph stating which IRC channel is available
+# for user support in your language and pointing to the English IRC channel.
+# <p>Once you are connected, join channel <code>#debian-foo</code> by typing</p>
+# <pre>/join #debian</pre>
+# for support in your language.
+# <p>For support in English, read on</p>
+
+<p>Once you are connected, join channel <code>#debian</code> by typing</p>
+
+<pre>
+/join #debian
+</pre>
+
+<p>Note: clients like HexChat often have a different, graphical user interface
+for joining servers/channels.</p>
+
+<p>At this point you will find yourself among the friendly crowd of
+<code>#debian</code> inhabitants. You're welcome to ask questions about
+Debian there. You can find the channel's faq at 
+<url "https://wiki.debian.org/DebianIRC" />.</p>
+
+
+<p>There's a number of other IRC networks where you can chat about Debian,
+too. One of the more prominent ones is the
+<a href="https://freenode.net/">freenode IRC network</a> at
+<kbd>chat.freenode.net</kbd>.</p>
+
+
 <toc-add-entry name="mail_lists" href="MailingLists/">Mailing lists</toc-add-entry>
 
 <p>Debian is developed through distributed development all around
@@ -111,66 +171,6 @@ system.  See the <a href="consultants/">consultants page</a> for a list
 of people/companies.</p>
 
 
-<toc-add-entry name="irc">On-line Real Time Help Using IRC</toc-add-entry>
-
-<p><a href="http://www.irchelp.org/">IRC (Internet Relay Chat)</a> is a way
-to chat with people from all over the world in real time.
-IRC channels dedicated to Debian can be found on
-<a href="https://www.oftc.net/">OFTC</a>.</p>
-
-<p>To connect, you need an IRC client. Some of the most popular clients are
-<a href="https://packages.debian.org/stable/net/hexchat">HexChat</a>,
-<a href="https://packages.debian.org/stable/net/ircii">ircII</a>,
-<a href="https://packages.debian.org/stable/net/irssi">irssi</a>,
-<a href="https://packages.debian.org/stable/net/epic5">epic5</a> and
-<a href="https://packages.debian.org/stable/net/kvirc">KVIrc</a>,
-all of which have been packaged for
-Debian. OFTC also offers a <a href="https://www.oftc.net/WebChat/">WebChat</a>
-web interface which allows you to connect to IRC with a browser without
-the need to install any local client.</p>
-
-<p>Once you have the client installed, you need to tell it to connect
-to the server. In most clients, you can do that by typing:</p>
-
-<pre>
-/server irc.debian.org
-</pre>
-
-<p>In some clients (such as irssi) you will need to type this instead:</p>
-
-<pre>
-/connect irc.debian.org
-</pre>
-
-# Note to translators:
-# You might want to insert here a paragraph stating which IRC channel is available
-# for user support in your language and pointing to the English IRC channel.
-# <p>Once you are connected, join channel <code>#debian-foo</code> by typing</p>
-# <pre>/join #debian</pre>
-# for support in your language.
-# <p>For support in English, read on</p>
-
-<p>Once you are connected, join channel <code>#debian</code> by typing</p>
-
-<pre>
-/join #debian
-</pre>
-
-<p>Note: clients like HexChat often have a different, graphical user interface
-for joining servers/channels.</p>
-
-<p>At this point you will find yourself among the friendly crowd of
-<code>#debian</code> inhabitants. You're welcome to ask questions about
-Debian there. You can find the channel's faq at 
-<url "https://wiki.debian.org/DebianIRC" />.</p>
-
-
-<p>There's a number of other IRC networks where you can chat about Debian,
-too. One of the more prominent ones is the
-<a href="https://freenode.net/">freenode IRC network</a> at
-<kbd>chat.freenode.net</kbd>.</p>
-
-
 <toc-add-entry name="release" href="releases/stable/">Known problems</toc-add-entry>
 
 <p>Limitations and severe problems of the current stable distribution