Generalize 'versionsuffix' note in 'Type Checking' section

Author: lukewagner

design/mvp/Explainer.md

@@ -1087,9 +1087,9 @@ and `$C1` is a subtype of `$C2`:
 )
 ```
 
-🔗 Note that [canonical interface names](#-canonical-interface-name) may be
-annotated with a `versionsuffix` which is ignored for type checking except to
-improve diagnostic messages.
+🔗/📝 Note that all `attribute`s on `import`s and `export`s are ignored by type
+checking and so any `external-id`, `implements` or `versionsuffix` attribute can
+be added to any of the `func`s above without changing the result.
 
 When we next consider type imports and exports, there are two distinct
 subcases of `typebound` to consider: `eq` and `sub`.