1 """ 2 It is unfortunately not well documented how stubs and annotations work in Jedi. 3 If somebody needs an introduction, please let me know. 4 """ 5