Thank you very much @Cykelero! 😊

(Thank you for picking development as the target branch 👍 In this particular case, I'm switching it to master so that the documentation fix is immediately available)

Ooops no, this brings undesired commits in the PR. OK, so development it is 🤷‍♂️

Ohh, cool to see the changed merged so quickly. I’ll remember about the master/development distinction for next time!

Please keep development as the default target branch, as documented! In this case master would have been ok, because it's all just wording and documentation changes. But this kind subtlety should not be pushed on to the gentle contributors, see what I mean? A plain and simple rule is better for all.

Yes, I understand! Targeting master is only OK for changes that are 100% inoffensive, guaranteed to be usable right away. So probably pretty rarely.