PyApp seems to be taking the Python world by storm, providing long-awaited click-and-run Python distribution. For developers ...

Ubuntu is a free computer system, like Windows or macOS, but it’s built by a community. It’s great for programmers because it’s very flexible and has lots of tools already built-in that help you code.

So it's more of a redundancy in doc-strings than type hints. Agreed, :type: in doc-strings seems redundant and removing it from everywhere might make stub-files a bit smaller (though it probably ...