diff --git a/documentation/how_to_document_things_on_gitlab.md b/documentation/how_to_document_things_on_gitlab.md
new file mode 100644
index 0000000000000000000000000000000000000000..a776779e8aca0313afc5031890d4d12278d7953f
--- /dev/null
+++ b/documentation/how_to_document_things_on_gitlab.md
@@ -0,0 +1,4 @@
+# Documentation on Gitlab
+We can use Gitlab to host our documentation by exploiting the fact that Gitlab
+automatically renders Markdown (.md) files as HTML in the browser, making it
+easy to read and show images.
\ No newline at end of file