Helpful tip for those merging PRs: you can browse the tree a merge would
result in by navigating to
`https://github.com/freenode/web-7.0/tree/pull/XYZ/merge`, where `XYZ` is the
Helpful tip for those merging PRs: you can browse the tree a merge would
result in by navigating to
`https://github.com/freenode/web-7.0/tree/pull/XYZ/merge`, where `XYZ` is the