Sorry, I'm not sure how I missed it. Been on vacations and such... either way, I think documenting this is a good practice.
Do you have commit access or shall I commit on your behalf? If so, what do you want to have as the author name and e-mail for the commit?
Let's use the actual text verbatim from the GUI? 🙂