From d040c078e816f1911c29edeafa1dd91e9cb9c03a Mon Sep 17 00:00:00 2001
From: Federico Leva <federicoleva@tiscali.it>
Date: Tue, 22 Nov 2022 21:53:00 +0200
Subject: [PATCH] Actually use the custom IDs so the links to headers work

---
 source/en/portal/servers/index.md | 42 +++++++++++++++----------------
 1 file changed, 21 insertions(+), 21 deletions(-)

diff --git a/source/en/portal/servers/index.md b/source/en/portal/servers/index.md
index e508932..860e758 100644
--- a/source/en/portal/servers/index.md
+++ b/source/en/portal/servers/index.md
@@ -7,7 +7,7 @@ title: "Themed servers"
 
 <ul class="article-list">
 
-### 💡 [Sciences](#sciences)
+### 💡 [Sciences](#sciences) {#sciences}
 * [lugnasad.eu](https://lugnasad.eu) - for French speaking science lovers *(Friendica)*
 * [astrodon.social](https://astrodon.social) - for anyone interested in astronomy, astrophysics, astrophotography *(Mastodon)*
 * [mstdn.science](https://mstdn.science) - for microbiologists, scientists in general, and science enthusiasts *(Mastodon)*
@@ -15,24 +15,24 @@ title: "Themed servers"
 * [astronomy.social](https://astronomy.social) - astronomy, space travel and related fields of knowledge *(Mastodon)*
 * [humangenetics.social](https://humangenetics.social) - for people interested in the science of human genetics *(Mastodon)*
 
-### 🎨 [Humanities](#humanities)
+### 🎨 [Humanities](#humanities) {#humanities}
 * [oulipo.social](https://oulipo.social) - a lipogrammatic server *(Mastodon)*
 * [dju.social](https://dju.social) - German journalists union *(Mastodon)*
 * [archaeo.social](https://archaeo.social) - for archaeologists, historians and lovers of all things ancient *(Mastodon)*
 * [artisan.chat](https://artisan.chat) - for creators, crafters, and artists *(Mastodon)*
 * [zirk.us](https://zirk.us) - for readers, writers, thinkers, artists, academics, enthusiasts in arts and humanities *(Mastodon)*
 
-### 🎓 [Education](#education)
+### 🎓 [Education](#education) {#education}
 * [tusk.schoollibraries.net](https://tusk.schoollibraries.net) - helping educators improve the School Libraries Resource Network *(Mastodon)*
 * [mastodon.oeru.org](https://mastodon.oeru.org) - for educators and learners involved in the [OERu](https://oeru.org) *(Mastodon)*
 * [akademienl.social](https://akademienl.social) - for anyone working in or with a general interest in Dutch academia
 
-### 🎵 [Music](#music)
+### 🎵 [Music](#music) {#music}
 * [koreadon.com](https://koreadon.com) - for K-POP music fans *(Mastodon)*
 * [feedbeat.me](https://feedbeat.me) - dedicated to culture and events such as music, poetry, comedy (German) *(Mastodon)*
 * [piano.masto.host](https://piano.masto.host) - dedicated to piano music, in English/Japanese *(Mastodon)*
 
-### 🔭 [Interests and hobbies](#hobbies)
+### 🔭 [Interests and hobbies](#hobbies) {#hobbies}
 * [screenwriting.space](https://screenwriting.space) - a place for storytellers *(Mastodon)*
 * [rollenspiel.social](https://rollenspiel.social) - (German) roleplay, Pen & Paper, tabletop, TCG, for all gamers *(Mastodon)*
 * [radiosocial.de](https://radiosocial.de) - for German radio amateurs *(Mastodon)*
@@ -48,7 +48,7 @@ title: "Themed servers"
 * [onlycosplays.social](https://onlycosplays.social) - safe place for cosplayers and their communities *(Mastodon)*
 * [social.vtopia.live](https://social.vtopia.live) - for Vtubers, their fans, and the creators that make them possible *(Misskey)*
 
-### 🚄  [Travel, Transport and Infrastructure](#travel)
+### 🚄  [Travel, Transport and Infrastructure](#travel) {#travel}
 * [rail.chat](https://rail.chat) - discussions about long-distance, passenger and freight rail networks for economic, environmental and equity benefits *(Mastodon)*
 * [aircrew.rocks](https://aircrew.rocks) - for pilots, flight attendants, and flight enthusiasts *(Mastodon)*
 * [aviators.network](https://aviators.network) - for aviation enthusiasts *(Mastodon)*
@@ -57,7 +57,7 @@ title: "Themed servers"
 * [urbanists.social](https://urbanists.social) - for people who like bikes, transit, and walkable cities *(Mastodon)*
 * [bikejam.social](https://bikejam.social) - for bike and pedestrian infrastructure *(Mastodon)*
 
-### 🎏 [Language specific](#languages)
+### 🎏 [Language specific](#languages) {#languages}
 * [toki.social](https://toki.social) - for those interested in toki pona *(Mastodon)*
 * [mastodon.sk](https://mastodon.sk) - for Slovak users *(Mastodon)*
 * [mastodon.eus](https://mastodon.eus) - for Euskera/Basque speakers *(Mastodon)*
@@ -79,14 +79,14 @@ title: "Themed servers"
 * [occitania.social](https://occitania.social) - community of Occitan culture and language *(Mastodon)*
 * [bassam.social](https://bassam.social) - Arabic language *(Mastodon)*
 
-### 🛡 [Safer spaces](#safer-spaces) 
+### 🛡 [Safer spaces](#safer-spaces) {#safer-spaces} 
 
 Instances run by and for people belonging to some minority and moderated more strictly than usual to cater to it.
 
 * [neovibe.app](https://neovibe.app) - for fans of music, movies, gaming and all forms of entertainment, LGBTQ+ friendly and Black-run *(Mastodon)*
 * [neurodifferent.me](https://neurodifferent.me) - a friendly space for neurodifferent folks *(Mastodon)*
 
-### ⛺ [Regional](#regional)
+### ⛺ [Regional](#regional) {#regional}
 
 #### Australia
 * [bne.social](https://bne.social) - Brisbane *(Mastodon)*
@@ -175,7 +175,7 @@ Instances run by and for people belonging to some minority and moderated more st
 * [mastodon.miami](https://mastodon.miami) - Miami, Florida *(Mastodon)*
 * [https://cityofchicago.live](https://cityofchicago.live) - Chicago, Illinois *(Mastodon)*
 
-### 🐧 [For techies](#servers-for-techies)
+### 🐧 [For techies](#servers-for-techies) {#servers-for-techies}
 * [techlover.eu](https://techlover.eu) - talk about new technologies like development, digital art or science *(Mastodon)*
 * [layer8.space](https://layer8.space) - talk about Linux, anime, music, software and more *(Mastodon)*
 * [hachyderm.io](https://hachyderm.io) - for respectful professionals in the tech industry *(Mastodon)*
@@ -185,18 +185,18 @@ Instances run by and for people belonging to some minority and moderated more st
 * [techspace.social](https://techspace.social) - for techies and tech-curious people *(Mastodon)*
 * [gnulinux.social](https://gnulinux.social) -  community dedicated to Free Software enthusiasts and supporters
 
-### 💻 [Programming](#instances-for-programmers)
+### 💻 [Programming](#instances-for-programmers) {#instances-for-programmers}
 * [pythondevs.social](https://pythondevs.social) - for Python developers of all experience levels *(Pleroma)*
 * [pythonist.as](https://pythonist.as) - for Pythonistas *(Mastodon)*
 * [dotnet.social](https://dotnet.social) - .NET *(Mastodon)*
 
-### 🎬 [Book / Game / Show theme](#entertainment)
+### 🎬 [Book / Game / Show theme](#entertainment) {#entertainment}
 * [osrs.club](https://osrs.club) - themed around Old School Runescape *(Pleroma)*
 
-### 🔴 [Political and social views](#political-and-social-views)
+### 🔴 [Political and social views](#political-and-social-views) {#political-and-social-views}
 * [campaign.openworlds.info](https://campaign.openworlds.info) - for campaigners and NGOs *(Mastodon)*
 
-### 🐰 [Environmentalism](#environmentalism)
+### 🐰 [Environmentalism](#environmentalism) {#environmentalism}
 * [toot.cat](https://toot.cat) - instance for cats, the people who love them, and kindness in general *(Mastodon)*
 * [floe.earth](https://mastodon.floe.earth) - talk about climate, society, but also pleasant things in life *(Mastodon)*
 * [sauropods.win](https://sauropods.win) - for sauropod appreciators *(Mastodon)*
@@ -206,24 +206,24 @@ Instances run by and for people belonging to some minority and moderated more st
 * [vegoon.party](https://vegoon.party) -  focus on veganism *(Mastodon)*
 * [veganism.social](https://veganism.social) - for vegans and animal rights activists *(Mastodon)*
 
-### ⚕ [Healthcare](#health)
+### ⚕ [Healthcare](#health) {#health}
 * [fedisabled.social](https://fedisabled.social) - for all disabled people *(Mastodon)*
 * [diabetes.masto.host](https://diabetes.masto.host) - safe harbor for people affected by diabetes *(Mastodon)*
 * [veterinary.education](https://veterinary.education) - veterinary medicine *(Mastodon)*
 * [med-mastodon.com](https://med-mastodon.com) - for medical professionals and curious onlookers *(Mastodon)*
 
-### 👽 [Fandoms](#fandoms)
+### 👽 [Fandoms](#fandoms) {#fandoms}
 * [bungle.online](https://bungle.online) - fandom instance, post media, fan art and fanfiction *(Misskey)*
 * [mastodol.jp](https://mastodol.jp) - talk about idols in Japanese *(Mastodon)*
 * [flower.afn.social](https://flower.afn.social) - talk about flower night girl (フラワーナイトガール) in Japanese *(Mastodon)*
 
-### 🐾 [Subcultures](#subcultures)
+### 🐾 [Subcultures](#subcultures) {#subcultures}
 * [this.mouse.rocks](https://this.mouse.rocks) - furry instance for all the mouse adjacent folks who rock *(Mastodon)*
 * [birds.garden](https://birds.garden) - a quiet, peaceful place where any bird can find refuge *(Pleroma)*
 * [stop.voring.me](https://stop.voring.me) - fun hangout for furries and normies alike *(Calckey)*
 * [mstdn.beer](https://mstdn.beer) - conscientious adult social gathering place in English/Japanese *(Mastodon)*
 
-### 🌏 [Notable generalistic](#notable-generalistic)
+### 🌏 [Notable generalistic](#notable-generalistic) {#notable-generalistic}
 // *small-to-medium sized instances that will be happy to have new users*
 * [appalachian.town](https://appalachian.town)
 * [venera.social](https://venera.social) - friendly humans are welcome *(Friendica)*
@@ -248,13 +248,13 @@ Instances run by and for people belonging to some minority and moderated more st
 * [jistflow.com](https://jistflow.com) - general purpose federated social-verse *(Calckey)*
 * [mstodon.eu](https://mstodon.eu) - EU based English language server *(Mastodon)*
 
-### 🐚 [Run by tech-savvy organizations](#run-by-tech-savvy-organizations)
+### 🐚 [Run by tech-savvy organizations](#run-by-tech-savvy-organizations) {#run-by-tech-savvy-organizations}
 *Instances which declare to be affiliated with an incorporate non-profit (usually an [association](https://en.wikipedia.org/wiki/Voluntary_association) or [cooperative](https://www.ica.coop/en/cooperatives/what-is-a-cooperative)) and to follow its policies*
 * [en.osm.town](https://en.osm.town) - for the OpenStreetMap Community *(Mastodon)*
 * [pouet.chapril.org](https://pouet.chapril.org) - Chapril/April, free software association, France *(Mastodon)*
 * [swiss-chaos.social](https://swiss-chaos.social) - Chaos Computer Club Switzerland *(Mastodon)*
 
-### 🎉 [Notable mention](#notable-mention)
+### 🎉 [Notable mention](#notable-mention) {#notable-mention}
 // *are open to particular audience, i.e., to students of university*
 * [mastodon.mit.edu](https://mastodon.mit.edu) - for the MIT community *(Mastodon)*
 * [metu.life](https://metu.life) - for METU university of Turkey *(Mastodon)*
@@ -263,7 +263,7 @@ Instances run by and for people belonging to some minority and moderated more st
 * [mastodon.acc.sunet.se](https://mastodon.acc.sunet.se) - by Academic Computer Club at Umeå University, Sweden *(Mastodon)*
 * [akademienl.social](https://akademienl.social) - for anyone working in, affiliated with, or with a general interest in Dutch academia  *(Mastodon)*
 
-### 🎉 [Various (registration by application)](#registration-by-application)
+### 🎉 [Various (registration by application)](#registration-by-application) {#registration-by-application}
 // *these servers may be removed in future automated updates due to signups by application*
 * [augsburg.social](https://augsburg.social) - Augsburg, Germany *(Mastodon)*
 * [wue.social](https://wue.social) - Würzburg (and the neighbourhood), Germany *(Mastodon)*