Quick [Not so quick actually] question: When a KEEP is submitted, merged into the KEEP repository and an issue is open for it, is there anything I need to do as a contributor when no comments have been posted on it for some time? Or does this simply mean that no-one had the time to take a more detailed look at the KEEP yet? Specifically, I'm talking about this one, which already had some discussion in the KEEP PR as well as the actual code in the stdlib PR:
https://github.com/Kotlin/KEEP/issues/20