diff --git a/.gitignore b/.gitignore
index 78df591..55b9e7b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -21,3 +21,4 @@ rebar3.crashdump
 aesophia
 .qcci
 current_counterexample.eqc
+.history
\ No newline at end of file
diff --git a/docs/sophia.md b/docs/sophia.md
index 36b9ab4..73b82a4 100644
--- a/docs/sophia.md
+++ b/docs/sophia.md
@@ -1,3 +1,5 @@
+<!--  IMPORTANT: This file shall temporarily remain as an internal reference for the transformation of the doc into the format favored by readthedocs and will be removed soon. For the actual documentation, see https://aeternity-sophia.readthedocs.io/-->
+
 <!-- IMPORTANT: REMEMBER TO UPDATE THE TABLE OF CONTENTS AFTER YOUR EDIT -->
 
 **Table of Contents**