This is starting to get ridiculous. It's already been 10 days since I created this PR to fix the annoying problem that I have caused by splitting the typings into separate files, and it's still not merged. What are we waiting for?