Thanks
Pull-Request has been merged by copperi
According to the policy in README, commit access is granted to everybody with a merged pull request. Therefore I have added you to package-maintainer-docs group. You can now directly commit trivial fixes if you prefer that. Pull requests are also accepted for any kind of change, and strongly preferred for anything nontrivial.