diff --git a/user-doc/tutorials/aaa-trieste-1.txt b/user-doc/tutorials/a-trieste-1.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-1.txt
rename to user-doc/tutorials/a-trieste-1.txt
diff --git a/user-doc/tutorials/aaa-trieste-2.txt b/user-doc/tutorials/a-trieste-2.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-2.txt
rename to user-doc/tutorials/a-trieste-2.txt
diff --git a/user-doc/tutorials/aaa-trieste-3.txt b/user-doc/tutorials/a-trieste-3.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-3.txt
rename to user-doc/tutorials/a-trieste-3.txt
diff --git a/user-doc/tutorials/aaa-trieste-4.txt b/user-doc/tutorials/a-trieste-4.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-4.txt
rename to user-doc/tutorials/a-trieste-4.txt
diff --git a/user-doc/tutorials/aaa-trieste-5.txt b/user-doc/tutorials/a-trieste-5.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-5.txt
rename to user-doc/tutorials/a-trieste-5.txt
diff --git a/user-doc/tutorials/aaa-trieste-6.txt b/user-doc/tutorials/a-trieste-6.txt
similarity index 100%
rename from user-doc/tutorials/aaa-trieste-6.txt
rename to user-doc/tutorials/a-trieste-6.txt