It seems like developers can lose admin privileges if another admin demotes them, is that intentional?
Steps to reproduce
- Create two admins and add them both to the developer emails list.
- Try demoting one of them as the other admin.
- Verify that the user that was demoted no longer has admin privileges, even though they are a developer user (developers are supposed to automatically be given admin privileges).