Not a merge-blocker, just an informal reaction: Since the only caller of "admins_list" already defaults the option, this might be a bit belt-and-suspenders-ish.