Default_Ignorable_Code_Point

[Simon Josefsson]

Where is this defined?  RFC 5892 says:

   The definition for Default_Ignorable_Code_Point can be found in
   DerivedCoreProperties.txt [DerivedCoreProperties] and is at the time
   of Unicode 5.2:

   Other_Default_Ignorable_Code_Point + Cf (Format characters)
   + Variation_Selector - White_Space - FFF9..FFFB (Annotation
   Characters) - 0600..0603, 06DD, 070F (exceptional Cf characters
   that should be visible)

Strangely the reference is informative and not normative:

8.2.  Informative References

   [DerivedCoreProperties]
                "DerivedCoreProperties-5.2.0.txt", Unicode Character
                Database, August 2009, <http://unicode.org/Public/5.2.0/
                ucd/DerivedCoreProperties.txt>.

I cannot find the string "Default_Ignorable_Code_Point" in that file.

/Simon