[doc] remove unused @plugin dev guide directives

src/kernel_services/ast_data/annotations.mli

@@ -297,13 +297,13 @@ val add_check:
   Emitter.t -> ?kf:kernel_function -> stmt -> predicate -> unit
 (** Add a checking assertion attached to the given statement. If [kf] is
     provided, the function runs faster.
-    @plugin development guide *)
+*)
 
 val add_admit:
   Emitter.t -> ?kf:kernel_function -> stmt -> predicate -> unit
 (** Add an hypothesis assertion attached to the given statement. If [kf] is
     provided, the function runs faster.
-    @plugin development guide *)
+*)
 
 val add_global: Emitter.t -> global_annotation -> unit
 (** Add a new global annotation into the program. *)

src/plugins/value/engine/analysis.mli

@@ -88,7 +88,9 @@ val compute : unit -> unit
     @plugin development guide *)
 
 val is_computed : unit -> bool
-(** Return [true] iff the Eva analysis has been done. *)
+(** Return [true] iff the Eva analysis has been done.
+    @plugin development guide
+*)
 
 val self : State.t
 (** Internal state of Eva analysis from projects viewpoint. *)

src/plugins/value_types/cilE.mli

@@ -20,8 +20,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-(** Value analysis alarms
-    @plugin development guide *)
+(** Value analysis alarms *)
 
 (* ************************************************************************* *)
 (* [JS 2011/03/11] All the below stuff manage warnings of the value analysis