Yes please
Done
Hope its ok 
EDIT...
PS, what is protocol for PRs for docs?
Is it preferable to first ask on forum or is it ok/preferable to just raise PRs for areas where we feel we could improve the docs?
Always polite to mention it first and in what area you'll be working - but then yeah sure... it's generally much easier to check what docs are saying than cunning bits of code. Obviously if a lot of changes then we may need to think about whether the docs needs to be split or re-arranged differently and that is more of a discussion.
2 Likes
It's even easier to ask a quick question via the #dev or #docs channel on slack.
1 Like
