Number 4 is only about not returning impl Into and instead just returning T.

zellij is a terminal multiplexer like tmux which for example allows you to have multiple terminals shown in the same window. It works both locally and over SSH. Which GUI would do the same?

I'm currently using zellij after previously having used tmux. For me zellij is a direct upgrade in every way, and the default tmux keybindings are even supported out of the box in zellij which makes transitioning incredibly easy. The only downside is that I have no idea how to pronounce the name.

That's a bummer. I guess what I though was PyO3 type hints was actually just PyCharm guessing at the types.

I tried creating a .pyi file and it seems to be a pretty big improvement over no type hints, but I don't know how to add type hints for modules added with PyModule::add_module and adding the .pyi file seems to make the type checker not know about my other modules.

Would you mind sharing the script for auto generating type hints? Keeping them in sync manually would be pretty annoying.

How is the quality of the generated bindings?

I have previously used PyO3 for Python bindings and it doesn't seem to correctly generate type hints.