I'd just like to give a shout-out to Jetbrains for being really responsive on their bug tracker! I've reported a couple bugs about PEP 484 type comments and they've acknowledged or fixed them usually within a week.