For backward compatibility reasons, history will win.  

I'm not sure if documenting the additional restrictions of the concrete stdlib types in the ABC docs makes sense, either, since the ABCs are intentionally the minimal requirements for a concrete type to conform to the ABC.  The concrete ABC methods are really examples, even though they are also widely useful (and widely used).