When #283 is done, it would be nice to then add reviewers to the PR. For now this kind of operation need to be done leaving the editor.