I had much the same response for #4. I'd have to go on the JoiPlay Discord to even start to track this stuff down, and I'm only interested in case these are patches that would help all users and not just one Android-based emulator. Thanks for checking it out, though!