To be fair, that is a fork of Gui’s work at GitHub - gtalarico/ironpython-stubs: Autocomplete stubs for common IronPython/.NET libraries
I have looked at those packages and they are very nice. The issue with them is that they are mock libraries so it is very hard to actually run a python script for Rhino with those libraries on your python search path. The stub files that I created follow the guidelines of some recent python PEPs so hopefully support will show up in other editors over time as this is a standard.
A big advantage of using these stub files is that you can use them in combination with the new rhinosinside package discussed here:
I am hoping to write another article about this use case soon.