manual: update the note about reserved attributes

diff --git a/src/doc/rust.md b/src/doc/rust.md
index 9e211dda2fb409f6c2e5ea9f619adf580eb02936..239ffa5d690b24ac3cc3d5047b144efbedbd155a 100644 (file)
--- a/src/doc/rust.md
+++ b/src/doc/rust.md
@@ -1722,13 +1722,12 @@ mod bar {
 pub type int8_t = i8;
 ~~~~
 
-> **Note:** In future versions of Rust, user-provided extensions to the compiler
-> will be able to interpret attributes.  When this facility is provided, the
-> compiler will distinguish between language-reserved and user-available
-> attributes.
+> **Note:** At some point in the future, the compiler will distinguish between
+> language-reserved and user-available attributes. Until then, there is
+> effectively no difference between an attribute handled by a loadable syntax
+> extension and the compiler.
 
-At present, only the Rust compiler interprets attributes, so all attribute names
-are effectively reserved. Some significant attributes include:
+Some significant attributes include:
 
 * The `doc` attribute, for documenting code in-place.
 * The `cfg` attribute, for conditional-compilation by build-configuration (see