diff --git a/.dir-locals.el b/.dir-locals.el
index 7bc423371..91c287367 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -5,7 +5,7 @@
          (bug-reference-bug-regexp
           . "\\(?:[Ff]ix\\(es\\)? \\|[Ii]ssue \\)#\\(?2:[0-9]+\\)")
          (bug-reference-url-format
-          . "https://gitlab.lrde.epita.fr/spot/spot/issues/%s")
+          . "https://gitlab.lre.epita.fr/spot/spot/issues/%s")
 	 (mode . bug-reference)
          (magit-branch-adjust-remote-upstream-alist ("origin/next" . "/"))))
  (c++-mode . ((c-default-style . "gnu")
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c381793b0..4a94ebfce 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,7 +19,7 @@ debian-stable-gcc:
     - branches
   except:
     - /wip/
-  image: gitlab-registry.lrde.epita.fr/spot/buildenv/debian:stable
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/debian:stable
   script:
     - autoreconf -vfi
     - ./configure --enable-max-accsets=256 --enable-pthread
@@ -41,7 +41,7 @@ make-dist:
     - branches
   except:
     - /wip/
-  image: gitlab-registry.lrde.epita.fr/spot/buildenv/debian
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/debian
   script:
     - autoreconf -vfi
     - ./configure --disable-static --enable-doxygen
@@ -62,7 +62,7 @@ debian-unstable-gcc-coverage:
     - branches
   except:
     - /wip/
-  image: gitlab-registry.lrde.epita.fr/spot/buildenv/debian
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/debian
   script:
     - autoreconf -vfi
     - ./configure CXX='g++ --coverage' --enable-devel --disable-static --enable-doxygen
@@ -96,7 +96,7 @@ debian-unstable-gcc-pypy:
     - branches
   except:
     - /wip/
-  image: gitlab-registry.lrde.epita.fr/spot/buildenv/debian
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/debian
   script:
     - VERSION=`cat VERSION`
     - tar xvf spot-$VERSION.tar.gz
@@ -116,7 +116,7 @@ debian-gcc-snapshot:
     - branches
   except:
     - /wip/
-  image: gitlab-registry.lrde.epita.fr/spot/buildenv/debian
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/debian
   script:
     - export PATH="/usr/lib/gcc-snapshot/bin:$PATH" LD_LIBRARY_PATH="/usr/lib/gcc-snapshot/lib:$LD_LIBRARY_PATH"
     - autoreconf -vfi
@@ -139,7 +139,7 @@ alpine-gcc:
     - branches
   except:
     - /wip/
-  image: gitlab-registry.lrde.epita.fr/spot/buildenv/alpine
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/alpine
   script:
     - autoreconf -vfi
     - ./configure
@@ -158,7 +158,7 @@ arch-clang:
     - branches
   except:
     - /wip/
-  image: gitlab-registry.lrde.epita.fr/spot/buildenv/arch
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/arch
   script:
     - autoreconf -vfi
     - ./configure --prefix ~/install_dir CC='clang -Qunused-arguments' CXX='clang++ -Qunused-arguments' --enable-devel --enable-c++20 --enable-doxygen
@@ -181,7 +181,7 @@ arch-gcc-glibcxxdebug:
     - branches
   except:
     - /wip/
-  image: gitlab-registry.lrde.epita.fr/spot/buildenv/arch
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/arch
   script:
     - VERSION=`cat VERSION`
     - tar xvf spot-$VERSION.tar.gz
@@ -210,7 +210,7 @@ mingw-shared:
     - branches
   except:
     - /wip/
-  image: gitlab-registry.lrde.epita.fr/spot/buildenv/debian
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/debian
   script:
     - VERSION=`cat VERSION`
     - tar xvf spot-$VERSION.tar.gz
@@ -237,7 +237,7 @@ mingw-static:
     - branches
   except:
     - /wip/
-  image: gitlab-registry.lrde.epita.fr/spot/buildenv/debian
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/debian
   script:
     - VERSION=`cat VERSION`
     - tar xvf spot-$VERSION.tar.gz
@@ -267,11 +267,11 @@ debpkg-stable:
     - next
     - stable
   script:
-    - docker pull gitlab-registry.lrde.epita.fr/spot/buildenv/debian:stable
+    - docker pull gitlab-registry.lre.epita.fr/spot/buildenv/debian:stable
     - vol=spot-stable-$CI_COMMIT_SHA
     - docker volume create $vol
     - exitcode=0
-    - docker run -v $vol:/build/result  --name helper-$vol gitlab-registry.lrde.epita.fr/spot/buildenv/debian:stable ./build-spot.sh $CI_COMMIT_REF_NAME -j${NBPROC-1} || exitcode=$?
+    - docker run -v $vol:/build/result  --name helper-$vol gitlab-registry.lre.epita.fr/spot/buildenv/debian:stable ./build-spot.sh $CI_COMMIT_REF_NAME -j${NBPROC-1} || exitcode=$?
     - docker cp helper-$vol:/build/result _build_stable || exitcode=$?
     - docker rm helper-$vol || exitcode=$?
     - docker volume rm $vol || exitcode=$?
@@ -295,11 +295,11 @@ debpkg-stable-i386:
   tags: ["x86"]
   needs: ["debpkg-stable"]
   script:
-    - docker pull gitlab-registry.lrde.epita.fr/spot/buildenv/debian-i386:stable
+    - docker pull gitlab-registry.lre.epita.fr/spot/buildenv/debian-i386:stable
     - vol=spot-stable-$CI_COMMIT_SHA
     - docker volume create $vol
     - exitcode=0
-    - docker create -v $vol:/build/result --name helper-$vol gitlab-registry.lrde.epita.fr/spot/buildenv/debian-i386:stable ./bin-spot.sh -j${NBPROC-1} || exitcode=$?
+    - docker create -v $vol:/build/result --name helper-$vol gitlab-registry.lre.epita.fr/spot/buildenv/debian-i386:stable ./bin-spot.sh -j${NBPROC-1} || exitcode=$?
     - docker cp _build_stable/. helper-$vol:/build/result || exitcode=$?
     - rm -rf _build_stable
     - docker start -a helper-$vol || exitcode=$?
@@ -322,11 +322,11 @@ debpkg-unstable:
     - /-deb$/
     - next
   script:
-    - docker pull gitlab-registry.lrde.epita.fr/spot/buildenv/debian
+    - docker pull gitlab-registry.lre.epita.fr/spot/buildenv/debian
     - vol=spot-unstable-$CI_COMMIT_SHA
     - docker volume create $vol
     - exitcode=0
-    - docker run -v $vol:/build/result --name helper-$vol gitlab-registry.lrde.epita.fr/spot/buildenv/debian ./build-spot.sh $CI_COMMIT_REF_NAME -j${NBPROC-1} || exitcode=$?
+    - docker run -v $vol:/build/result --name helper-$vol gitlab-registry.lre.epita.fr/spot/buildenv/debian ./build-spot.sh $CI_COMMIT_REF_NAME -j${NBPROC-1} || exitcode=$?
     - docker cp helper-$vol:/build/result _build_unstable || exitcode=$?
     - docker rm helper-$vol || exitcode=$?
     - docker volume rm $vol || exitcode=$?
@@ -348,11 +348,11 @@ debpkg-unstable-i386:
   tags: ["x86"]
   needs: ["debpkg-unstable"]
   script:
-    - docker pull gitlab-registry.lrde.epita.fr/spot/buildenv/debian-i386
+    - docker pull gitlab-registry.lre.epita.fr/spot/buildenv/debian-i386
     - vol=spot-unstable-$CI_COMMIT_SHA
     - docker volume create $vol
     - exitcode=0
-    - docker create -v $vol:/build/result --name helper-$vol gitlab-registry.lrde.epita.fr/spot/buildenv/debian-i386 ./bin-spot.sh -j${NBPROC-1} || exitcode=$?
+    - docker create -v $vol:/build/result --name helper-$vol gitlab-registry.lre.epita.fr/spot/buildenv/debian-i386 ./bin-spot.sh -j${NBPROC-1} || exitcode=$?
     - docker cp _build_unstable/. helper-$vol:/build/result || exitcode=$?
     - rm -rf _build_unstable
     - docker start -a helper-$vol || exitcode=$?
@@ -374,7 +374,7 @@ rpm-pkg:
     - master
     - next
     - stable
-  image: gitlab-registry.lrde.epita.fr/spot/buildenv/fedora
+  image: gitlab-registry.lre.epita.fr/spot/buildenv/fedora
   script:
     - autoreconf -vfi
     - ./configure
@@ -425,8 +425,8 @@ publish-stable:
     - ls -l
     - tgz=`ls spot-*.tar.* | head -n 1`
     - case $tgz in *[0-9].tar.*) scp $tgz doc@perso:/var/www/dload/spot/;; esac
-    - curl -X POST -F ref=master -F token=$TRIGGER_SPOT_WEB -F "variables[spot_branch]=stable" https://gitlab.lrde.epita.fr/api/v4/projects/131/trigger/pipeline
-    - curl -X POST "https://archive.softwareheritage.org/api/1/origin/save/git/url/https://gitlab.lrde.epita.fr/spot/spot/"
+    - curl -X POST -F ref=master -F token=$TRIGGER_SPOT_WEB -F "variables[spot_branch]=stable" https://gitlab.lre.epita.fr/api/v4/projects/131/trigger/pipeline
+    - curl -X POST "https://archive.softwareheritage.org/api/1/origin/save/git/url/https://gitlab.lre.epita.fr/spot/spot/"
     - curl "https://web.archive.org/save/https://www.lrde.epita.fr/dload/spot/$tgz"
 
 publish-unstable:
@@ -443,8 +443,8 @@ publish-unstable:
     - cd _build_unstable
     - ls -l
     - dput lrde *.changes
-    - curl -X POST -F ref=master -F token=$TRIGGER_SPOT_WEB -F "variables[spot_branch]=next" https://gitlab.lrde.epita.fr/api/v4/projects/131/trigger/pipeline
-    - curl -X POST -F ref=master -F token=$TRIGGER_SANDBOX https://gitlab.lrde.epita.fr/api/v4/projects/181/trigger/pipeline
+    - curl -X POST -F ref=master -F token=$TRIGGER_SPOT_WEB -F "variables[spot_branch]=next" https://gitlab.lre.epita.fr/api/v4/projects/131/trigger/pipeline
+    - curl -X POST -F ref=master -F token=$TRIGGER_SANDBOX https://gitlab.lre.epita.fr/api/v4/projects/181/trigger/pipeline
 
 raspbian:
   stage: build
diff --git a/HACKING b/HACKING
index de461376b..f2cf27e8c 100644
--- a/HACKING
+++ b/HACKING
@@ -5,11 +5,11 @@ Bootstraping from the GIT repository
 
 Spot's gitlab page is at
 
-  https://gitlab.lrde.epita.fr/spot/spot
+  https://gitlab.lre.epita.fr/spot/spot
 
 The GIT repository can be cloned with
 
-  git clone https://gitlab.lrde.epita.fr/spot/spot.git
+  git clone https://gitlab.lre.epita.fr/spot/spot.git
 
 Some files in SPOT's source tree are generated.  They are distributed
 so that users do not need to install tools to rebuild them, but we
diff --git a/NEWS b/NEWS
index 4268ab81a..262414d67 100644
--- a/NEWS
+++ b/NEWS
@@ -1602,7 +1602,7 @@ New in spot 2.6.2 (2018-09-28)
 
   - We no longer distribute the Python-based CGI script + javascript
     code for the online translator.  Its replacement has its own
-    repository: https://gitlab.lrde.epita.fr/spot/spot-web-app/
+    repository: https://gitlab.lre.epita.fr/spot/spot-web-app/
 
   Library:
 
diff --git a/doc/org/concepts.org b/doc/org/concepts.org
index a8fab8b65..64f982eb8 100644
--- a/doc/org/concepts.org
+++ b/doc/org/concepts.org
@@ -1022,7 +1022,7 @@ layers.
     dynamic libraries that [[http://fmt.cs.utwente.nl/tools/ltsmin/][LTSmin]] uses to represent state-spaces.  It
     currently supports libraries generated from Promela models using
     SpinS or a patched version of DiVinE, but you have to install
-    those third-party tools first.  See [[https://gitlab.lrde.epita.fr/spot/spot/blob/next/tests/ltsmin/README][=tests/ltsmin/README=]]
+    those third-party tools first.  See [[https://gitlab.lre.epita.fr/spot/spot/blob/next/tests/ltsmin/README][=tests/ltsmin/README=]]
     for details.
   - In addition to the C++17 API, we also provide Python bindings for
     =libspotgen=, =libspotltsmin=, =libbddx=, and most of =libspot=.
@@ -1034,8 +1034,8 @@ layers.
     distributed with the rest of Spot, their source-code is publicly
     available (in case you want to contribute or run a local version).
     The [[https://spot-sandbox.lrde.epita.fr/][=spot-sandbox=]] website runs from a Docker container whose
-    configuration can be found in [[https://gitlab.lrde.epita.fr/spot/sandbox/tree/master=][this repository]].  The client and
-    server parts of the [[https://spot.lrde.epita.fr/app/][online LTL translator]] can be found in [[https://gitlab.lrde.epita.fr/spot/spot-web-app/][this
+    configuration can be found in [[https://gitlab.lre.epita.fr/spot/sandbox/tree/master=][this repository]].  The client and
+    server parts of the [[https://spot.lrde.epita.fr/app/][online LTL translator]] can be found in [[https://gitlab.lre.epita.fr/spot/spot-web-app/][this
     repository]].
 
 * Automaton property flags
diff --git a/doc/org/install.org b/doc/org/install.org
index a5759da17..a24134e42 100644
--- a/doc/org/install.org
+++ b/doc/org/install.org
@@ -14,7 +14,7 @@ The latest release of Spot is version {{{LASTRELEASE}}}:
 - {{{LASTTARBALL}}} (see also the {{{LASTNEWS}}})
 
 Past releases can be found [[https://www.lrde.epita.fr/dload/spot/][in the same directory]].  If you are
-interested in /future/ releases, you can always peek at the [[https://gitlab.lrde.epita.fr/spot/spot/-/jobs/artifacts/next/browse?job=debian-stable-gcc][last
+interested in /future/ releases, you can always peek at the [[https://gitlab.lre.epita.fr/spot/spot/-/jobs/artifacts/next/browse?job=make-dist][last
 successful development build]].
 
 ** Requirements
@@ -162,11 +162,11 @@ the (working) code that should be part of the next major release.
 To clone the git repository, use
 
 #+BEGIN_SRC sh
-git clone https://gitlab.lrde.epita.fr/spot/spot.git
+git clone https://gitlab.lre.epita.fr/spot/spot.git
 #+END_SRC
 
 This should put you on the =next= branch by default.  From there, read
-the [[https://gitlab.lrde.epita.fr/spot/spot/blob/next/HACKING][HACKING]] file that should be at the top of your cloned repository:
+the [[https://gitlab.lre.epita.fr/spot/spot/blob/next/HACKING][HACKING]] file that should be at the top of your cloned repository:
 it lists all the tools you should install before attempting to compile
 the source tree.
 
diff --git a/doc/org/setup.org b/doc/org/setup.org
index 52aa02639..d68521b7b 100644
--- a/doc/org/setup.org
+++ b/doc/org/setup.org
@@ -4,7 +4,7 @@
 #+MACRO: SPOTVERSION 2.10.6
 #+MACRO: LASTRELEASE 2.10.6
 #+MACRO: LASTTARBALL [[http://www.lrde.epita.fr/dload/spot/spot-2.10.6.tar.gz][=spot-2.10.6.tar.gz=]]
-#+MACRO: LASTNEWS [[https://gitlab.lrde.epita.fr/spot/spot/blob/spot-2-10-6/NEWS][summary of the changes]]
+#+MACRO: LASTNEWS [[https://gitlab.lre.epita.fr/spot/spot/blob/spot-2-10-6/NEWS][summary of the changes]]
 #+MACRO: LASTDATE 2022-05-18
 
 #+ATTR_HTML: :id spotlogo
diff --git a/elisp/Makefile.am b/elisp/Makefile.am
index efdc604f5..c67a969e8 100644
--- a/elisp/Makefile.am
+++ b/elisp/Makefile.am
@@ -1,6 +1,6 @@
 ## -*- coding: utf-8 -*-
-## Copyright (C) 2015, 2016, 2017, 2018 Laboratoire de Recherche et Développement
-## de l'Epita (LRDE).
+## Copyright (C) 2015-2018, 2022 Laboratoire de Recherche et
+## Développement de l'Epita (LRDE).
 ##
 ## This file is part of Spot, a model checking library.
 ##
@@ -19,7 +19,7 @@
 
 EXTRA_DIST = hoa-mode.el
 
-GIT = https://gitlab.lrde.epita.fr/spot/emacs-modes/raw/master/
+GIT = https://gitlab.lre.epita.fr/spot/emacs-modes/raw/master/
 
 .PHONY: update-el
 update-el:
diff --git a/elisp/hoa-mode.el b/elisp/hoa-mode.el
index 9083b529d..58730b971 100644
--- a/elisp/hoa-mode.el
+++ b/elisp/hoa-mode.el
@@ -1,10 +1,10 @@
 ;;; hoa-mode.el --- Major mode for the HOA format -*- lexical-binding: t -*-
 
-;; Copyright (C) 2015, 2017, 2019  Alexandre Duret-Lutz
+;; Copyright (C) 2015, 2017, 2019, 2022  Alexandre Duret-Lutz
 
 ;; Author: Alexandre Duret-Lutz <adl@lrde.epita.fr>
 ;; Maintainer: Alexandre Duret-Lutz <adl@lrde.epita.fr>
-;; URL: https://gitlab.lrde.epita.fr/spot/emacs-modes
+;; URL: https://gitlab.lre.epita.fr/spot/emacs-modes
 ;; Keywords: major-mode, automata, convenience
 ;; Created: 2015-11-13
 
diff --git a/tests/ltsmin/README b/tests/ltsmin/README
index 6aaf5bba4..c3f2696d6 100644
--- a/tests/ltsmin/README
+++ b/tests/ltsmin/README
@@ -31,7 +31,7 @@ Installation of DiVinE
 Use the following commands to compile and install the patched version
 of DiVinE.
 
-  git clone https://gitlab.lrde.epita.fr/spot/divine-ltsmin-deb
+  git clone https://gitlab.lre.epita.fr/spot/divine-ltsmin-deb
   cd divine-ltsmin-deb
   mkdir _build && cd _build
   cmake .. -DMURPHI=OFF -DHOARD=OFF -DGUI=OFF -DRX_PATH= -DCMAKE_INSTALL_PREFIX=$HOME/usr