From f3d9453074092cf5cc4b771c56a353197ea75c94 Mon Sep 17 00:00:00 2001
From: Michael Schwarz <michael.schwarz93@gmail.com>
Date: Thu, 5 Jan 2023 13:37:05 +0100
Subject: [PATCH] text

---
 docs/artifact-descriptions/esop23.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/artifact-descriptions/esop23.md b/docs/artifact-descriptions/esop23.md
index e567432918..c7607f70a2 100644
--- a/docs/artifact-descriptions/esop23.md
+++ b/docs/artifact-descriptions/esop23.md
@@ -1,10 +1,12 @@
 # ESOP '23 Artifact Description
 
 This is the artifact description for our ESOP '23 paper "Clustered Relational Thread-Modular Abstract Interpretation with Local Traces".
-<!-- The artifact is available from Zenodo [here](TODO: Update URL). -->
+The artifact is available from Zenodo at [here](TODO: Update URL).
 
 The artifact is a VirtualBox Image based on Ubuntu 22.04.1. The login is `goblint:goblint`.
 
+For convenience this file is also included in the VM (at `~analyzer/docs/artifact-descriptions/esop23.md`) in order to be able to copy commands.
+
 <!-- If you are reading these instructions on goblint.readthedocs.io, they might have been updated to match the current version of Goblint.
 When using the artifact, follow the similar instructions it includes. -->