AWS.Session.Set_Lifetime should not be called by users

A suggestion for documentation improvement. This cost me quite a while investigating why my users were logged out after 10min, despite me setting the lifetime to 1 day.

   procedure Set_Lifetime (Seconds : Duration);
   --  Set the lifetime for session data. At the point a session is deleted,
   --  reusing the session ID makes AWS.Status.Session_Timed_Out return True.
   --
   --  This subprogram should not be called directly by users. Instead, use
   --  AWS.Config.Set.Session_Lifetime. This is because starting the server will
   --  override any value previously set via Set_Lifetime, with the value set in the
   --  config.

Perhaps better would be to make this subprogram private, or even only in the body (I think it would work, but did not check in full details)