Add Trac #11427 to Note [Recursive superclasses]