[benkio]

Replace this placeholder text with a summary of the changes in your PR.
The more detailed you are, the better.

---

Before submitting the PR make sure the following things have been done (and denote this
by checking the relevant checkboxes):

• The commits are consistent with our contribution guidelines
• You've updated the changelog (if adding/changing user-visible functionality)
• You've updated the user manual (if adding/changing user-visible functionality like modules, commands, configuration options, etc)

Thanks!