[Github-comments] [geany/geany] Add .pyi extension for Python (PR #3976)