Developers can be demoted from admin

It seems like developers can lose admin privileges if another admin demotes them, is that intentional?

Steps to reproduce

  1. Create two admins and add them both to the developer emails list.
  2. Try demoting one of them as the other admin.
  3. 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).

I dunno… maybe… its a bit of an edge case and nobody really should be using this anyway.