diff --git a/docs/pages/benchmarking.md b/docs/pages/benchmarking-profiling.md
similarity index 100%
rename from docs/pages/benchmarking.md
rename to docs/pages/benchmarking-profiling.md
diff --git a/docs/pages/dev.md b/docs/pages/dev.md
index a3bf5d8c..d8c369eb 100644
--- a/docs/pages/dev.md
+++ b/docs/pages/dev.md
@@ -12,11 +12,3 @@ layout: default
 | [pyenv](https://github.com/pyenv/pyenv)                  | Lets you easily switch between multiple versions of Python.               | 🟠  |
 | [virtualenv](https://virtualenv.pypa.io/en/latest/)      | Creates isolated Python environments, and offers more features than venv. | 🟠  |
 | [venv](https://docs.python.org/3/library/venv.html)      | Creates isolated Python environments.                                     | 🔴  |
-
-# Other
-
-| Name                                                        | Short description                                                                      | 🚦  |
-| ----------------------------------------------------------- | -------------------------------------------------------------------------------------- | :-: |
-| [jedi](https://jedi.readthedocs.io/en/latest/)              | Refactoring and autocompletion used in for integrated development environments (IDEs). | 🟢  |
-| [rope](https://rope.readthedocs.io/en/latest/overview.html) | Refactoring library.                                                                   |     |
-| [tqdm](https://pypi.org/project/tqdm/2.2.3/)                | Progress bar for loops.                                                                | 🟢  |
diff --git a/docs/pages/refactoring.md b/docs/pages/refactoring.md
index dbabb8e2..92e9b6a0 100644
--- a/docs/pages/refactoring.md
+++ b/docs/pages/refactoring.md
@@ -8,4 +8,4 @@ layout: default
 | Name                                                        | Short description                            | 🚦  |
 | ----------------------------------------------------------- | -------------------------------------------- | --- |
 | [jedi](https://jedi.readthedocs.io/en/stable/)              | Refactoring and autocompletion used in IDEs. | 🟢  |
-| [rope](https://rope.readthedocs.io/en/stable/overview.html) | Refactoring library.                         |     |
+| [rope](https://rope.readthedocs.io/en/stable/overview.html) | Refactoring library.                         | 🟠  |
diff --git a/docs/pages/utilities.md b/docs/pages/utilities.md
index bce35085..ff3f544d 100644
--- a/docs/pages/utilities.md
+++ b/docs/pages/utilities.md
@@ -24,3 +24,9 @@ want to write these yourself but might need logging or a command-line interface.
 | --------------------------------------------------------- | -------------------------------------------------------------------- | :-: |
 | [loguru](https://loguru.readthedocs.io/)                  | Simple and user-friendly with many nice features enabled by default. | 🟢  |
 | [logging](https://docs.python.org/3/library/logging.html) | Python's builtin logging framework. Needs some configuration.        | 🟠  |
+
+## User interface
+
+| Name                                         | Short description       | 🚦  |
+| -------------------------------------------- | ----------------------- | :-: |
+| [tqdm](https://pypi.org/project/tqdm/2.2.3/) | Progress bar for loops. | 🟢  |