Now that the move from Waffle to Github Projects is complete (#5651), we need to make some documentation updates. - [x] "closes" syntax - [x] PRs in code review, removing the issue from the board and tracking the PR once it is created - [x] other?
