Too fast ^^, I answered on the issue before seeing this. I'll be discussing all modifications in roughly a month (early October) so I'll only merge PRs then. But this seems like a good idea to me, so I'm like 95% confident it will be merged. Thank you very much for taking the time to make the issue and the PR!
Too fast ^^, I answered on the issue before seeing this. I'll be discussing all modifications in roughly a month (early October) so I'll only merge PRs then. But this seems like a good idea to me, so I'm like 95% confident it will be merged. Thank you very much for taking the time to make the issue and the PR!