diff --git a/src/kernel_services/plugin_entry_points/plugin.mli b/src/kernel_services/plugin_entry_points/plugin.mli
index a27fb146970fc112b5f8e739fe8e278ab5d60370..ead0e265436204b8c0ca83908914de35f928c6b3 100644
--- a/src/kernel_services/plugin_entry_points/plugin.mli
+++ b/src/kernel_services/plugin_entry_points/plugin.mli
@@ -50,7 +50,9 @@ module type S_no_log = sig
   module Share: Parameter_sig.Site_root
 
   (** Handle the specific `session' directory of the plug-in.
-      @since Neon-20140301 *)
+      @since Neon-20140301
+      @before Frama-C+dev Session was a Specific_dir.
+  *)
   module Session: Parameter_sig.User_dir_opt
 
   (** Handle the specific `cache' directory of the plug-in.