had codex proofread

Author: JelleZijlstra

peps/pep-0800.rst

@@ -261,7 +261,7 @@ Similarly, the concept of a "disjoint base" is not meaningful on ``TypedDict`` d
 Although they receive some special treatment in the type system, ``NamedTuple`` definitions create real nominal classes that can
 have child classes, so it makes sense to allow ``@disjoint_base`` on them and treat them like regular classes for the purposes
 of the disjoint base mechanism. All ``NamedTuple`` classes have ``tuple``, a disjoint base, in their MRO, so they
-cannot multiple inherit from other disjoint bases.
+cannot use multiple inheritance with other disjoint bases.
 
 Specification
 =============
@@ -472,9 +472,9 @@ Nevertheless, it accepts the following class definition without error::
         def __rmul__(self, other: object) -> Never:
             raise TypeError
         def __ge__(self, other: int | str) -> bool:
-            return int(self) > other if isinstance(other, int) else str(self) > other
-        def __gt__(self, other: int | str) -> bool:
             return int(self) >= other if isinstance(other, int) else str(self) >= other
+        def __gt__(self, other: int | str) -> bool:
+            return int(self) > other if isinstance(other, int) else str(self) > other
         def __lt__(self, other: int | str) -> bool:
             return int(self) < other if isinstance(other, int) else str(self) < other
         def __le__(self, other: int | str) -> bool:
@@ -526,7 +526,7 @@ can also reject classes that have more practically useful implementations::
             pass
 
 Mypy's rule works reasonably well in practice for deducing whether an intersection of two
-classes is inhabited. Most builtin classes that are disjoint bases happen to implement common dunder
+classes is inhabited. Most built-in classes that are disjoint bases happen to implement common dunder
 methods such as ``__add__`` and ``__iter__`` in incompatible ways, so mypy will consider them
 incompatible. There are some exceptions: mypy allows ``class C(BaseException, int): ...``,
 though both of these classes are disjoint bases and the class definition is rejected at runtime.