Extend explanation

Author: Altai-man

doc/Language/traits.pod6

@@ -90,7 +90,7 @@ On the other hand, X<P6opaque> is the default representation used for
 all objects in Raku.
 
     class Thar {};
-    say Thar.REPR;    #OUTPUT: «P6opaque␤»
+    say Thar.REPR;    # OUTPUT: «P6opaque␤»
 
 The L<metaobject protocol|/language/mop> uses it by default for every object
 and class unless specified otherwise; for that reason, it is in general not
@@ -110,14 +110,22 @@ routines.
 
 =head2 X<C<is implementation-detail>,traits> trait
 
-Note: this trait is available in Rakudo compiler starting from 2020.05 release.
+Note: this trait has been available in Rakudo compiler starting from 2020.05 release.
 
-The C<is> with C<implementation-detail> argument is used by Raku
-language implementations and module authors to mark particular
-routines (including methods) as not meant to be a public API.
+This trait is used by Raku language implementations and module authors
+to mark particular routines (including methods) as not meant to be a
+part of public API. While such routines can be found when looked up
+directly, they will not appear in results of introspection:
 
-Applying this trait makes the C<is-implementation-detail> method on
-L<Code|/type/Code> to return C<True>.
+    my &do-not-use-routine = CORE::<&DYNAMIC>;
+    say CORE::.keys.grep(* eq '&DYNAMIC'); # OUTPUT: «()␤»
+
+Such routines are not meant for use by users and their behavior and availability can be changed
+anytime.
+
+Applying this trait makes the C<is-implementation-detail> method called on
+L<Code|/type/Code> to return C<True>, thus giving a hint to the user not to use it
+if they are not willing to maintain this code in case of changes for years to come:
 
     my &fail-routine = &fail;
     unless &fail-routine.is-implementation-detail {