See #9733 for background. Right now `errno` is in `py/`, so it doesn't have inline documentation like `shared-bindings`.