Allow same identifier in static and regular ops

Closes #1097.

Author: lucacasonato

index.bs

@@ -2048,8 +2048,8 @@ Note: The identifier can be the same
 as that of another operation on the interface, however.
 This is how operation overloading is specified.
 
-The [=identifier=] of a [=static operation=]
-also must not be the same as the identifier
+Note: The [=identifier=] of a [=static operation=]
+can be the same as the identifier
 of a [=regular operation=]
 defined on the same [=interface=].